summaryrefslogtreecommitdiff
path: root/tests/disjoint.lac
Commit message (Collapse)AuthorAge
* Push KUnit and CUnit through the phasesGravatar Adam Chlipala2008-07-01
|
* More with disjointness assumptionsGravatar Adam Chlipala2008-07-01
|
* Disjointness assumptions in expressionsGravatar Adam Chlipala2008-07-01
|
* Disjointness assumptionsGravatar Adam Chlipala2008-07-01
|
* Threading disjointness conditions through ElaborateGravatar Adam Chlipala2008-07-01
|
* Initial disjointness proverGravatar Adam Chlipala2008-07-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 13:28:24 +0000