src/Pure/axclass.ML
changeset 38383 1ad96229b455
parent 37249 8365cbc31349
child 39133 70d3915c92f0
     1.1 --- a/src/Pure/axclass.ML	Wed Aug 11 17:59:32 2010 +0200
     1.2 +++ b/src/Pure/axclass.ML	Wed Aug 11 17:59:33 2010 +0200
     1.3 @@ -406,7 +406,7 @@
     1.4    in
     1.5      thy
     1.6      |> Thm.add_def false false (b', prop)
     1.7 -    |>> (fn (_, thm) =>  Drule.transitive_thm OF [eq, thm])
     1.8 +    |>> (fn (_, thm) => Drule.transitive_thm OF [eq, thm])
     1.9    end;
    1.10  
    1.11