src/Pure/Isar/toplevel.ML
changeset 14091 ad6ba9c55190
parent 13486 54464ea94d6f
child 14825 8cdf5a813cec
     1.1 --- a/src/Pure/Isar/toplevel.ML	Fri Jul 04 17:09:26 2003 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Mon Jul 07 17:58:21 2003 +0200
     1.3 @@ -67,8 +67,8 @@
     1.4    val get_state: unit -> state
     1.5    val exn: unit -> (exn * string) option
     1.6    val >> : transition -> bool
     1.7 -  type isar
     1.8 -  val loop: isar -> unit
     1.9 +  type 'a isar
    1.10 +  val loop: 'a isar -> unit
    1.11  end;
    1.12  
    1.13  structure Toplevel: TOPLEVEL =
    1.14 @@ -471,10 +471,10 @@
    1.15  
    1.16  (* the Isar source of transitions *)
    1.17  
    1.18 -type isar =
    1.19 +type 'a isar =
    1.20    (transition, (transition option,
    1.21      (OuterLex.token, (OuterLex.token option, (OuterLex.token, (OuterLex.token,
    1.22 -      Position.T * (Symbol.symbol, (string, unit) Source.source) Source.source)
    1.23 +      Position.T * (Symbol.symbol, (string, 'a) Source.source) Source.source)
    1.24            Source.source) Source.source) Source.source) Source.source) Source.source) Source.source;
    1.25  
    1.26