diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-18 10:56:39 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-18 10:56:39 -0400 |
| commit | 12aeb0f00be7961ef329f27a918ceb9c8cae4110 (patch) | |
| tree | 7aff091a2adef2514b78f852bdd4e068f8a672bb /tests/cloconv.ur | |
| parent | fa5e8ec3acacb62e55391bb197d4c66ab77a212b (diff) | |
Parsing boolean SQL constants and fixing a related prover bug
Diffstat (limited to 'tests/cloconv.ur')
0 files changed, 0 insertions, 0 deletions