diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-03-12 14:25:25 -0500 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-03-12 14:25:25 -0500 |
commit | 8b41e8d8128752eba75f32f751ec9c095a6b1d87 (patch) | |
tree | 68559af9be49966dedfa877b124f76d3af152b7b /COPYING | |
parent | 15d36d99363b4ee20754498b566bd315150953fc (diff) |
Work on array pf signature, add working example. Add quantifiers proof signature. Ignore terms not in current master EE for QCF. Minor refactoring. Make --rewrite-rules true by default.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions