
diff -r e576a97e9a3e -r 1bf4337919d3 Quot/Examples/SigmaEx.thy
--- a/Quot/Examples/SigmaEx.thy	Thu Jan 21 09:02:04 2010 +0100
+++ b/Quot/Examples/SigmaEx.thy	Thu Jan 21 09:55:05 2010 +0100
@@ -141,6 +141,7 @@
 )"
 apply (lifting tolift)
 apply (regularize)
+apply (simp)
 prefer 2
 apply cleaning
 apply simp




