diff options
| author | David Aspinall | 2000-05-09 10:23:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-09 10:23:12 +0000 |
| commit | 1544fa1ae2f85f090a6de797ecefca6575cf138f (patch) | |
| tree | a61776f8154ddf8a05ea8e1ee991f6bb792f35a4 /isa/Example.ML | |
| parent | 550ba4a80382a64a10a66d96c59cf5900a36893a (diff) | |
Moved code to proof-menu.el
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions