src/Pure/Isar/toplevel.ML
changeset 44185 05641edb5d30
parent 43668 aad4f1956098
child 44186 806f0ec1a43d
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sat Aug 13 16:07:26 2011 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sat Aug 13 20:20:36 2011 +0200
     1.3 @@ -34,7 +34,7 @@
     1.4    val thread: bool -> (unit -> unit) -> Thread.thread
     1.5    type transition
     1.6    val empty: transition
     1.7 -  val init_of: transition -> string option
     1.8 +  val is_init: transition -> bool
     1.9    val print_of: transition -> bool
    1.10    val name_of: transition -> string
    1.11    val pos_of: transition -> Position.T
    1.12 @@ -356,7 +356,8 @@
    1.13  fun get_init (Transition {trans = [Init args], ...}) = SOME args
    1.14    | get_init _ = NONE;
    1.15  
    1.16 -val init_of = Option.map #2 o get_init;
    1.17 +val is_init = is_some o get_init;
    1.18 +
    1.19  fun print_of (Transition {print, ...}) = print;
    1.20  fun name_of (Transition {name, ...}) = name;
    1.21  fun pos_of (Transition {pos, ...}) = pos;