Mercurial Mercurial > hg > nominal2 / comparison
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.
FIXME-TODO
changeset 755 ae562c2ad96b
parent 753 544b05e03ec0
child 760 c1989de100b4
equal deleted inserted replaced
754:b85875d65b10 755:ae562c2ad96b 
    45   Call it 'quotient_type'
 
    45   Call it 'quotient_type'
 
    46 
    46 
    47 - Maybe quotient and equiv theorems like the ones for
 
    47 - Maybe quotient and equiv theorems like the ones for
 
    48   [QuotList, QuotOption, QuotPair...] could be automatically
 
    48   [QuotList, QuotOption, QuotPair...] could be automatically
 
    49   proven?
 
    49   proven?
 
       
    50 
       
    51 - Examples: Finite multiset.
nominal2