changeset 21931 | 314f9e2a442c |
parent 21925 | 5389dcd524e3 |
child 21953 | ab834c5c3858 |
--- 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;