diff -r 7f35355df72e -r 0cf166548856 Quot/Examples/IntEx2.thy
--- a/Quot/Examples/IntEx2.thy	Mon Dec 07 15:18:44 2009 +0100
+++ b/Quot/Examples/IntEx2.thy	Mon Dec 07 15:21:51 2009 +0100
@@ -1,9 +1,9 @@
 theory IntEx2
 imports "../QuotMain"
-uses
+(*uses
   ("Tools/numeral.ML")
   ("Tools/numeral_syntax.ML")
-  ("Tools/int_arith.ML")
+  ("Tools/int_arith.ML")*)
 begin