
diff -r 6acf9e001038 -r f3c192574d2a IntEx.thy
--- a/IntEx.thy	Sun Oct 25 01:15:03 2009 +0200
+++ b/IntEx.thy	Sun Oct 25 01:31:04 2009 +0200
@@ -12,6 +12,8 @@
   apply(auto simp add: mem_def expand_fun_eq)
   done
 
+print_quotients
+
 typ my_int
 
 local_setup {*




