--- a/src/FOL/IFOL.thy Fri Aug 04 22:54:49 2000 +0200
+++ b/src/FOL/IFOL.thy Fri Aug 04 22:55:08 2000 +0200
@@ -119,7 +119,7 @@
setup Simplifier.setup
use "IFOL_lemmas.ML" setup attrib_setup
use "fologic.ML"
-use "hypsubstdata.ML"
+use "hypsubstdata.ML" setup hypsubst_setup
use "intprover.ML"