diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-04-10 15:50:56 -0500 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-04-10 15:51:08 -0500 |
commit | 6ae07a91cdd4f20f8fdccd7e31d217c6ca34ee45 (patch) | |
tree | 0f4f929831ba092b54a5919809a01f089e023b84 /examples/nra-translate | |
parent | 65128efc1d0a4c2007ebb7b47712888481c07843 (diff) |
Expand definitions in theory datatypes, now has the expected semantics for incorrectly applied selector terms.
Diffstat (limited to 'examples/nra-translate')
0 files changed, 0 insertions, 0 deletions