diff options
| author | David Aspinall | 2009-05-26 17:51:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 17:51:54 +0000 |
| commit | 7569886ed671277fccb04b7652367cffdf6e8d3a (patch) | |
| tree | b13a541cfd0b1d47a4b4db42de08cc3ebf8eaba1 /generic/proof-utils.el | |
| parent | 809575dab5c9ee693e2346ac1550325ad5c6c012 (diff) | |
Revert "logic" fix.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions