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 | ccb85d8fc50d86d6f51387d21cd3a4b9c867a8a4 (patch) | |
| tree | 084d96ea944f4365ae9d0a6b5894ecca892801ca /tests/bad.ur | |
| parent | 7f707b5fc653de58077cafccbd867e5394b4ca7b (diff) | |
Relax checking of table implications
Diffstat (limited to 'tests/bad.ur')
0 files changed, 0 insertions, 0 deletions