# HG changeset patch
# User wenzelm
# Date 1135958217 -3600
# Node ID 9446cb8e1f655fa7b791cdac54fce1b249377fd9
# Parent  9bdfb6eaf8ab6530bd06b9c584beb2083f0153da
fixed final_consts;

diff -r 9bdfb6eaf8ab -r 9446cb8e1f65 src/FOL/IFOL.thy
--- a/src/FOL/IFOL.thy	Fri Dec 30 16:56:56 2005 +0100
+++ b/src/FOL/IFOL.thy	Fri Dec 30 16:56:57 2005 +0100
@@ -16,7 +16,7 @@
 global
 
 classes "term"
-final_consts term_class
+finalconsts term_class
 defaultsort "term"
 
 typedecl o