src/FOL/IFOL.thy
changeset 17702 ea88ddeafabe
parent 17591 33d409318266
child 18481 b75ce99617c7
--- a/src/FOL/IFOL.thy	Thu Sep 29 00:58:54 2005 +0200
+++ b/src/FOL/IFOL.thy	Thu Sep 29 00:58:55 2005 +0200
@@ -16,6 +16,7 @@
 global
 
 classes "term"
+final_consts term_class
 defaultsort "term"
 
 typedecl o