src/Pure/Proof/proof_syntax.ML
changeset 24848 5dbbd33c3236
parent 22796 34c316d7b630
child 25245 1fcfcdcba53c
     1.1 --- a/src/Pure/Proof/proof_syntax.ML	Thu Oct 04 20:29:13 2007 +0200
     1.2 +++ b/src/Pure/Proof/proof_syntax.ML	Thu Oct 04 20:29:24 2007 +0200
     1.3 @@ -35,7 +35,7 @@
     1.4  val paramT = Type ("param", []);
     1.5  val paramsT = Type ("params", []);
     1.6  val idtT = Type ("idt", []);
     1.7 -val aT = TFree ("'a", []);
     1.8 +val aT = TFree (Name.aT, []);
     1.9  
    1.10  (** constants for theorems and axioms **)
    1.11