diff options
author | 2010-04-04 16:44:34 -0400 | |
---|---|---|
committer | 2010-04-04 16:44:34 -0400 | |
commit | 6cb5d479d9dc99ab433366a8c5641f2c8fd7c68c (patch) | |
tree | 084d96ea944f4365ae9d0a6b5894ecca892801ca /demo/list.ur | |
parent | a88ce35c7521ff63415c234af64fc3c53aee7c9a (diff) |
Relax checking of table implications
Diffstat (limited to 'demo/list.ur')
0 files changed, 0 insertions, 0 deletions