diff options
| author | David Aspinall | 2000-05-05 11:32:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 11:32:19 +0000 |
| commit | bbd886faac48249cda1e1f45dde35545d5dda51b (patch) | |
| tree | 7d282951615ec8b4d29d6d7b7314d9ac634ac63a /generic/proof-script.el | |
| parent | 3c9fb24ccfe61c021af3908d2e02903c0d16096c (diff) | |
Corrected header.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions