--- a/src/FOL/FOL.thy Tue Nov 27 13:28:26 2001 +0100
+++ b/src/FOL/FOL.thy Wed Nov 28 00:37:08 2001 +0100
@@ -26,6 +26,8 @@
setup Cla.setup
setup clasetup
+declare disjI1 [elim?] disjI2 [elim?]
+
use "blastdata.ML"
setup Blast.setup
use "FOL_lemmas2.ML"