diff options
| author | David Aspinall | 2000-05-05 11:31:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 11:31:41 +0000 |
| commit | 3c9fb24ccfe61c021af3908d2e02903c0d16096c (patch) | |
| tree | fe2072f0d61d5d8bfbe307dfe4010eed769b018d /generic/proof-script.el | |
| parent | aa475799d61bb575c1cc9faf0b8596e56bfb3bbd (diff) | |
Moved code into proof-system and proof-utils.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions