author | wenzelm |
Sat, 15 May 1999 16:15:54 +0200 | |
changeset 6644 | 123b215882ae |
parent 6193 | 451d3d6c088f |
child 6858 | 5906a7929b85 |
permissions | -rw-r--r-- |
(* Title: Pure/Isar/isar.ML ID: $Id$ Author: Markus Wenzel, TU Muenchen Isabelle/Isar main interface. *) signature ISAR = sig val main: unit -> unit val loop: unit -> unit val help: unit -> unit end; structure Isar: ISAR = struct val main = OuterSyntax.main; val loop = OuterSyntax.loop; val help = OuterSyntax.help; end;