diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-01-18 22:33:22 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-01-18 22:33:22 +0100 |
| commit | 4d3e24e52765b03d8e6f36afe7de6168e8740693 (patch) | |
| tree | c5b3e7230e56db21cef630bbc95d94b7e3476618 /proofs | |
| parent | 9d677333439c15677b6891ee8f6bd368a5df9f0a (diff) | |
Bug fix rewriter for fun defs.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions