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