src/Pure/Isar/isar.ML
author wenzelm
Wed Dec 05 03:18:03 2001 +0100 (2001-12-05 ago)
changeset 12385 389d11fb62c8
parent 9218 fdecb23119c0
child 14981 e73f8140af78
permissions -rw-r--r--
removed unused functionality (weight etc.);
     1 (*  Title:      Pure/Isar/isar.ML
     2     ID:         $Id$
     3     Author:     Markus Wenzel, TU Muenchen
     4     License:    GPL (GNU GENERAL PUBLIC LICENSE)
     5 
     6 Isabelle/Isar main interface.
     7 *)
     8 
     9 signature ISAR =
    10 sig
    11   val main: unit -> unit
    12   val loop: unit -> unit
    13   val sync_main: unit -> unit
    14   val sync_loop: unit -> unit
    15 end;
    16 
    17 structure Isar: ISAR =
    18 struct
    19 
    20 val main = OuterSyntax.main;
    21 val loop = OuterSyntax.loop;
    22 val sync_main = OuterSyntax.sync_main;
    23 val sync_loop = OuterSyntax.sync_loop;
    24 
    25 end;