src/Pure/axclass.ML
changeset 19531 89970e06351f
parent 19528 7fbac32cded0
child 19574 7c761751e998
--- a/src/Pure/axclass.ML	Tue May 02 00:20:40 2006 +0200
+++ b/src/Pure/axclass.ML	Tue May 02 00:33:40 2006 +0200
@@ -349,6 +349,7 @@
 end;
 
 
+
 (** axiomatizations **)
 
 local