src/Pure/Isar/toplevel.ML
changeset 14091 ad6ba9c55190
parent 13486 54464ea94d6f
child 14825 8cdf5a813cec
--- 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;