diff -r 17b2aad869fa -r 1796b8ea88aa src/Pure/Isar/spec_parse.ML
--- a/src/Pure/Isar/spec_parse.ML	Fri Mar 13 21:24:21 2009 +0100
+++ b/src/Pure/Isar/spec_parse.ML	Fri Mar 13 21:25:15 2009 +0100
@@ -6,8 +6,6 @@
 
 signature SPEC_PARSE =
 sig
-  type token = OuterParse.token
-  type 'a parser = 'a OuterParse.parser
   val attrib: Attrib.src parser
   val attribs: Attrib.src list parser
   val opt_attribs: Attrib.src list parser
@@ -36,8 +34,6 @@
 struct
 
 structure P = OuterParse;
-type token = P.token;
-type 'a parser = 'a P.parser;
 
 
 (* theorem specifications *)