src/Sequents/simpdata.ML

--- a/src/Sequents/simpdata.ML	Fri May 13 23:24:06 2011 +0200
+++ b/src/Sequents/simpdata.ML	Fri May 13 23:58:40 2011 +0200
@@ -88,4 +88,3 @@
   addeqcongs [@{thm left_cong}]
   addcongs [@{thm imp_cong}];
 
-change_simpset (fn _ => LK_ss);