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 /proofs/signatures/example-quant.plf | |
| 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 'proofs/signatures/example-quant.plf')
0 files changed, 0 insertions, 0 deletions