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 /README | |
| parent | 65128efc1d0a4c2007ebb7b47712888481c07843 (diff) | |
Expand definitions in theory datatypes, now has the expected semantics for incorrectly applied selector terms.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions