--- 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