diff -r 0a26b15b42c6 -r 2072802ab0e3 src/FOL/FOL.thy
--- a/src/FOL/FOL.thy	Wed Aug 20 11:00:37 2003 +0200
+++ b/src/FOL/FOL.thy	Wed Aug 20 11:04:17 2003 +0200
@@ -24,7 +24,8 @@
 
 use "cladata.ML"
 setup Cla.setup
-setup clasetup
+setup cla_setup
+setup case_setup
 
 use "blastdata.ML"
 setup Blast.setup