Mercurial > urweb
log src/disjoint.sig
age | author | description |
---|---|---|
2009-02-24 | Adam Chlipala | Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
2008-11-08 | Adam Chlipala | Some small changes while failing to write [restrict] |
2008-07-03 | Adam Chlipala | Fancier head normalization pushed inside of Disjoint |
2008-07-01 | Adam Chlipala | Initial disjointness prover |