--- a/src/Pure/Isar/toplevel.ML Fri Jul 04 17:09:26 2003 +0200
+++ b/src/Pure/Isar/toplevel.ML Mon Jul 07 17:58:21 2003 +0200
@@ -67,8 +67,8 @@
val get_state: unit -> state
val exn: unit -> (exn * string) option
val >> : transition -> bool
- type isar
- val loop: isar -> unit
+ type 'a isar
+ val loop: 'a isar -> unit
end;
structure Toplevel: TOPLEVEL =
@@ -471,10 +471,10 @@
(* the Isar source of transitions *)
-type isar =
+type 'a isar =
(transition, (transition option,
(OuterLex.token, (OuterLex.token option, (OuterLex.token, (OuterLex.token,
- Position.T * (Symbol.symbol, (string, unit) Source.source) Source.source)
+ Position.T * (Symbol.symbol, (string, 'a) Source.source) Source.source)
Source.source) Source.source) Source.source) Source.source) Source.source) Source.source;