--- a/src/FOL/FOL.thy Wed Dec 05 02:59:15 2001 +0100
+++ b/src/FOL/FOL.thy Wed Dec 05 02:59:49 2001 +0100
@@ -26,8 +26,6 @@
setup Cla.setup
setup clasetup
-declare disjI1 [elim?] disjI2 [elim?]
-
use "blastdata.ML"
setup Blast.setup
use "FOL_lemmas2.ML"