* Transfer:
- new methods for interactive debugging of 'transfer' and
'transfer_prover': 'transfer_start', 'transfer_step',
'transfer_end', 'transfer_prover_start'
and 'transfer_prover_end'.This refers to 46af4f577c7e.See the Isar Reference Manual and the example file "~~/src/HOL/ex/Transfer_Debug.thy".
Ondrej _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
