diff options
| author | Thomas Kleymann | 1999-01-13 16:21:31 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1999-01-13 16:21:31 +0000 |
| commit | b5d0d7d43a786894085cec8d55ecd35d61a60c5c (patch) | |
| tree | 8ee09e3ad47be8a17ca16f8aa56fe9686f266278 /generic/proof-script.el | |
| parent | 4e386aab1ae28972f8872b456e81026cc70da45d (diff) | |
added links from LEGO Web page
Now only Isabelle's references are misssing!
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions