export eof;

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