diff options
| author | David Aspinall | 1999-11-12 01:09:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-12 01:09:18 +0000 |
| commit | 8a9f2935855bd9ce9e769f5bbd15455fa719b765 (patch) | |
| tree | a29a44116fce65d966b8730eb09152d0966cd28a /generic/proof.el | |
| parent | 35f8ea2841731941da3106e956b7dff0aa7925ec (diff) | |
New testing files
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions