diff options
| author | David Aspinall | 2000-03-10 05:54:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-10 05:54:52 +0000 |
| commit | 20f916a79c8053fee8c416827cc28ac77ea994c5 (patch) | |
| tree | 84492bf32eb76a0199c56c091d89c2d3a9b38726 /html | |
| parent | 4a17408b5e9754338ee90cc2502b69494134440a (diff) | |
Use name of proof assistant in menu.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions