--- a/src/Pure/axclass.ML Wed Aug 11 17:59:32 2010 +0200
+++ b/src/Pure/axclass.ML Wed Aug 11 17:59:33 2010 +0200
@@ -406,7 +406,7 @@
in
thy
|> Thm.add_def false false (b', prop)
- |>> (fn (_, thm) => Drule.transitive_thm OF [eq, thm])
+ |>> (fn (_, thm) => Drule.transitive_thm OF [eq, thm])
end;