1
(* Title: Pure/Isar/toplevel.ML
2
Author: Markus Wenzel, TU Muenchen
3
4
Isabelle/Isar toplevel transactions.