diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-04 16:44:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-04 16:44:34 -0400 |
| commit | 6cb5d479d9dc99ab433366a8c5641f2c8fd7c68c (patch) | |
| tree | 084d96ea944f4365ae9d0a6b5894ecca892801ca /tests/ooo.ur | |
| parent | a88ce35c7521ff63415c234af64fc3c53aee7c9a (diff) | |
Relax checking of table implications
Diffstat (limited to 'tests/ooo.ur')
0 files changed, 0 insertions, 0 deletions