Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated (comment about weirdo example)
authorChristian Urban <urbanc@in.tum.de>
Thu, 08 Apr 2010 11:52:05 +0200
changeset 1794 d51aab59bfbf
parent 1793 33f7201a0239
child 1795 e39453c8b186
updated (comment about weirdo example)
TODO file | annotate | diff | comparison | revisions 
--- a/TODO	Thu Apr 08 11:50:30 2010 +0200
+++ b/TODO	Thu Apr 08 11:52:05 2010 +0200
@@ -39,8 +39,10 @@
   equivalence creates more than one permutation. According
   to the paper, this is incorrect.
 
-  Example in TestMorePerm.
+  Example in Classical.thy.
 
+- check whether weirdo example in TestMorePerm works
+  with shallow binders
 
 - nested recursion, like types "trm list" in a constructor
nominal2