diff options
| author | David Aspinall | 2000-05-05 14:51:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 14:51:30 +0000 |
| commit | fe6aea4a33a0dcb68304e0cd6c07d1962c5861a9 (patch) | |
| tree | fcbc0ca24fd1dcaf250cd21069f3eeae305a8b51 /html | |
| parent | bd9dcbe8a3b9062cea1c2f3d193df87c03185917 (diff) | |
isa-system.el -> isabelle-system.el
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions