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.
Quot/Examples/AbsRepTest.thy
changeset 808 90bde96f5dd1
parent 807 a5495a323b49
child 809 e9e0d1810217 
--- a/Quot/Examples/AbsRepTest.thy	Tue Jan 05 14:09:04 2010 +0100
+++ b/Quot/Examples/AbsRepTest.thy	Tue Jan 05 14:23:45 2010 +0100
@@ -94,6 +94,8 @@
       @{typ "('a fset) fset"})
 *}
 
+
+
 ML {*
 test_funs absF @{context} 
      (@{typ "(('a * 'a) list) list"},
nominal2