src/FOL/FOL.thy
changeset 14156 2072802ab0e3
parent 14085 8dc3e532959a
child 15019 acf67fa30998
--- 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