1.1 --- a/src/Pure/Isar/args.ML	Mon Jun 16 17:54:47 2008 +0200
     1.2 +++ b/src/Pure/Isar/args.ML	Mon Jun 16 17:54:48 2008 +0200
     1.3 @@ -22,6 +22,7 @@
     1.4    val mk_term: term -> T
     1.5    val mk_fact: thm list -> T
     1.6    val mk_attribute: (morphism -> attribute) -> T
     1.7 +  val eof: T
     1.8    val stopper: T * (T -> bool)
     1.9    val not_eof: T -> bool
    1.10    type src