src/Pure/Isar/spec_parse.ML
changeset 30513 1796b8ea88aa
parent 30481 de003023c302
child 30720 6d8dcfb264dc
     1.1 --- a/src/Pure/Isar/spec_parse.ML	Fri Mar 13 21:24:21 2009 +0100
     1.2 +++ b/src/Pure/Isar/spec_parse.ML	Fri Mar 13 21:25:15 2009 +0100
     1.3 @@ -6,8 +6,6 @@
     1.4  
     1.5  signature SPEC_PARSE =
     1.6  sig
     1.7 -  type token = OuterParse.token
     1.8 -  type 'a parser = 'a OuterParse.parser
     1.9    val attrib: Attrib.src parser
    1.10    val attribs: Attrib.src list parser
    1.11    val opt_attribs: Attrib.src list parser
    1.12 @@ -36,8 +34,6 @@
    1.13  struct
    1.14  
    1.15  structure P = OuterParse;
    1.16 -type token = P.token;
    1.17 -type 'a parser = 'a P.parser;
    1.18  
    1.19  
    1.20  (* theorem specifications *)