diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-01 11:39:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 11:39:14 -0400 |
| commit | d28cad7cc5881018717c7e875c99c51469da9d44 (patch) | |
| tree | 9366873b02b595e0ec394a047c66f1db6cc375d1 /tests/modproj.lac | |
| parent | 43116f69ce9330eb09d42a25d4afc746e7c3f3ef (diff) | |
Threading disjointness conditions through Elaborate
Diffstat (limited to 'tests/modproj.lac')
0 files changed, 0 insertions, 0 deletions