diff options
| author | David Aspinall | 1998-12-14 15:13:20 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-14 15:13:20 +0000 |
| commit | 61237df6d2f941d43c8912e3de45bed70f676f4d (patch) | |
| tree | ca2a51aff8f6112538b802d2ca4f6900273df0b7 /generic/proof-script.el | |
| parent | 8c5354db713be2ae16e4e01dfe77343b18012a4c (diff) | |
Reordered require of cl. Changed deflocal definition.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions