--- a/src/FOL/FOL.thy Sat Mar 29 19:24:57 2008 +0100
+++ b/src/FOL/FOL.thy Sat Mar 29 22:55:49 2008 +0100
@@ -293,7 +293,7 @@
setup simpsetup
setup "Simplifier.method_setup Splitter.split_modifiers"
setup Splitter.setup
-setup Clasimp.setup
+setup clasimp_setup
setup EqSubst.setup