src/Pure/Proof/extraction.ML
changeset 17057 0934ac31985f
parent 16983 c895701d55ea
child 17203 29b2563f5c11
     1.1 --- a/src/Pure/Proof/extraction.ML	Tue Aug 16 13:42:23 2005 +0200
     1.2 +++ b/src/Pure/Proof/extraction.ML	Tue Aug 16 13:42:26 2005 +0200
     1.3 @@ -761,7 +761,7 @@
     1.4  
     1.5  (**** interface ****)
     1.6  
     1.7 -structure P = OuterParse and K = OuterSyntax.Keyword;
     1.8 +structure P = OuterParse and K = OuterKeyword;
     1.9  
    1.10  val parse_vars = Scan.optional (P.$$$ "(" |-- P.list1 P.name --| P.$$$ ")") [];
    1.11