src/Pure/Isar/isar.ML
author nipkow
Mon, 29 Nov 2004 11:23:48 +0100
changeset 15339 a7b603bbc1e6
parent 14981 e73f8140af78
permissions -rw-r--r--
onsolete
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5950
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     1
(*  Title:      Pure/Isar/isar.ML
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     2
    ID:         $Id$
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     3
    Author:     Markus Wenzel, TU Muenchen
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     4
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     5
Isabelle/Isar main interface.
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     6
*)
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     7
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     8
signature ISAR =
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
     9
sig
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    10
  val main: unit -> unit
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    11
  val loop: unit -> unit
6858
wenzelm
parents: 6644
diff changeset
    12
  val sync_main: unit -> unit
wenzelm
parents: 6644
diff changeset
    13
  val sync_loop: unit -> unit
5950
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    14
end;
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    15
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    16
structure Isar: ISAR =
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    17
struct
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    18
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    19
val main = OuterSyntax.main;
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    20
val loop = OuterSyntax.loop;
6858
wenzelm
parents: 6644
diff changeset
    21
val sync_main = OuterSyntax.sync_main;
wenzelm
parents: 6644
diff changeset
    22
val sync_loop = OuterSyntax.sync_loop;
5950
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    23
d218409fd44e Isabelle/Isar main interface.
wenzelm
parents:
diff changeset
    24
end;