# HG changeset patch
# User wenzelm
# Date 965422508 -7200
# Node ID e20323caff4793688e3e3a71a8e5d0b972dd8e18
# Parent  46fb9ccae463c8ba69043abfade166ab7caba73d
setup hypsubst_setup;

diff -r 46fb9ccae463 -r e20323caff47 src/FOL/IFOL.thy
--- 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"