--- a/src/FOL/FOL.thy Tue Aug 29 00:54:22 2000 +0200
+++ b/src/FOL/FOL.thy Tue Aug 29 00:55:31 2000 +0200
@@ -55,7 +55,6 @@
use "simpdata.ML"
setup simpsetup
-setup cong_attrib_setup
setup "Simplifier.method_setup Splitter.split_modifiers"
setup Splitter.setup
setup Clasimp.setup