diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-08-07 16:25:13 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-08-07 16:25:13 +0100 |
| commit | cf732a4863e027378e30e7a6e3cb02c94eeb9f42 (patch) | |
| tree | 3f20d8b36f5ea4abec7c454f08e103aefdb61db6 /Util | |
| parent | debe754abf2f093a1b212649bdf9e86ad5bb86b3 (diff) | |
Houdini: recognise candidates of the form (p => (q => (... => (e => phi)))) where e existential
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions