diff options
| author | Healfdene Goguen | 1998-06-02 15:37:33 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-02 15:37:33 +0000 |
| commit | a5d0bc098fdc5f492d87e1cf95a75c2d4bc8b52f (patch) | |
| tree | b380957c1c5cb700ba7ea2d70fd49f2032baf8bc /proof.el | |
| parent | 88142455e396cc459c631c79cf99e31092008602 (diff) | |
Structured review now done.
Added item that we need to write proof-retract-file.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions