author | wenzelm |
Tue, 01 Jun 1999 19:46:52 +0200 | |
changeset 6756 | fe6eb161df3e |
parent 6644 | 123b215882ae |
child 6858 | 5906a7929b85 |
permissions | -rw-r--r-- |
5950 | 1 |
(* Title: Pure/Isar/isar.ML |
2 |
ID: $Id$ |
|
3 |
Author: Markus Wenzel, TU Muenchen |
|
4 |
||
5 |
Isabelle/Isar main interface. |
|
6 |
*) |
|
7 |
||
8 |
signature ISAR = |
|
9 |
sig |
|
10 |
val main: unit -> unit |
|
11 |
val loop: unit -> unit |
|
12 |
val help: unit -> unit |
|
13 |
end; |
|
14 |
||
15 |
structure Isar: ISAR = |
|
16 |
struct |
|
17 |
||
18 |
val main = OuterSyntax.main; |
|
19 |
val loop = OuterSyntax.loop; |
|
20 |
val help = OuterSyntax.help; |
|
21 |
||
22 |
end; |