
diff -r 3e4e077af2e7 -r 0e1405402d53 src/Sequents/LK0.thy
--- a/src/Sequents/LK0.thy	Sun May 22 16:51:06 2005 +0200
+++ b/src/Sequents/LK0.thy	Sun May 22 16:51:07 2005 +0200
@@ -123,10 +123,6 @@
   If :: [o, 'a, 'a] => 'a   ("(if (_)/ then (_)/ else (_))" 10)
    "If(P,x,y) == THE z::'a. (P --> z=x) & (~P --> z=y)"
 
-
-setup
-  Simplifier.setup
-
 setup
   prover_setup
 




