diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-12-07 12:45:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-12-07 12:45:21 +0000 |
| commit | eb476e4c9e6aaad5e52d60bfcdf7937e2a9a1d67 (patch) | |
| tree | ff76ad0971a4d917abee4f75dd112e2cc3a1498c /etc/proofgeneral-domain.txt | |
| parent | dded622434feb2a84a7d68c5a4f8efaa35d23dc6 (diff) | |
Typo.
Diffstat (limited to 'etc/proofgeneral-domain.txt')
0 files changed, 0 insertions, 0 deletions