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.
FIXME/TODO.
authorCezary Kaliszyk <kaliszyk@in.tum.de>
Mon, 14 Dec 2009 13:56:24 +0100
changeset 746 5ef8be0175f6
parent 742 198ff5781844
child 747 76e34dd930f6
FIXME/TODO.
FIXME-TODO file | annotate | diff | comparison | revisions 
--- a/FIXME-TODO	Sun Dec 13 02:47:47 2009 +0100
+++ b/FIXME-TODO	Mon Dec 14 13:56:24 2009 +0100
@@ -43,3 +43,7 @@
 
 - We shouldn't use the command 'quotient' as this shadows Larry's quotient.
   Call it 'quotient_type'
+
+- Maybe quotient and equiv theorems like the ones for
+  [QuotList, QuotOption, QuotPair...] could be automatically
+  proven?
nominal2