Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IntEx.thy
changeset 184 f3c192574d2a
parent 181 3e53081ad53a
child 191 b97f3f5fbc18 
--- 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 {*
nominal2