# HG changeset patch
# User wenzelm
# Date 1148161009 -7200
# Node ID 3620e494cef2d3c2153d6fe187803fe7257895c1
# Parent  c8c301eb965a2f6c300487a81c5a33592362539d
removed obsolete 'finalconsts';

diff -r c8c301eb965a -r 3620e494cef2 src/FOL/IFOL.thy
--- a/src/FOL/IFOL.thy	Wed May 17 22:36:08 2006 +0200
+++ b/src/FOL/IFOL.thy	Sat May 20 23:36:49 2006 +0200
@@ -16,7 +16,6 @@
 global
 
 classes "term"
-finalconsts term_class
 defaultsort "term"
 
 typedecl o