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