src/Pure/axclass.ML
changeset 21931 314f9e2a442c
parent 21925 5389dcd524e3
child 21953 ab834c5c3858
     1.1 --- a/src/Pure/axclass.ML	Fri Dec 29 16:47:49 2006 +0100
     1.2 +++ b/src/Pure/axclass.ML	Fri Dec 29 17:24:41 2006 +0100
     1.3 @@ -126,7 +126,7 @@
     1.4    let
     1.5      fun add_intro c =
     1.6        (case lookup_def thy c of SOME (AxClass {intro, ...}) => cons intro | _ => I);
     1.7 -    val classes = Sign.classes thy;
     1.8 +    val classes = Sign.all_classes thy;
     1.9    in map (Thm.class_triv thy) classes @ fold add_intro classes [] end;
    1.10  
    1.11