diff options
| author | David Aspinall | 1998-10-07 16:26:30 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-07 16:26:30 +0000 |
| commit | c378754860db36da0d40ac5c0086ed45f1d8fdc9 (patch) | |
| tree | ac7484601dc35763aa764dd5a0460cd225ee31fa /etc/ProofGeneral.patch | |
| parent | 8aa65573936351465d79d2e3d475d3a61a80a1f4 (diff) | |
Renamed isa-thy-* to thy-*
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions