author | wenzelm |
Sun, 25 Jun 2000 23:52:59 +0200 | |
changeset 9131 | cd17637c917f |
parent 8807 | 0046be1769f9 |
child 9218 | fdecb23119c0 |
permissions | -rw-r--r-- |
(* Title: Pure/Isar/isar.ML ID: $Id$ Author: Markus Wenzel, TU Muenchen License: GPL (GNU GENERAL PUBLIC LICENSE) Isabelle/Isar main interface. *) signature ISAR = sig val main: unit -> unit val loop: unit -> unit val sync_main: unit -> unit val sync_loop: unit -> unit val help: unit -> unit end; structure Isar: ISAR = struct val main = OuterSyntax.main; val loop = OuterSyntax.loop; val sync_main = OuterSyntax.sync_main; val sync_loop = OuterSyntax.sync_loop; val help = OuterSyntax.help; end;