src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Fri Dec 29 16:47:49 2006 +0100
+++ b/src/Pure/axclass.ML	Fri Dec 29 17:24:41 2006 +0100
@@ -126,7 +126,7 @@
   let
     fun add_intro c =
       (case lookup_def thy c of SOME (AxClass {intro, ...}) => cons intro | _ => I);
-    val classes = Sign.classes thy;
+    val classes = Sign.all_classes thy;
   in map (Thm.class_triv thy) classes @ fold add_intro classes [] end;