diff options
| author | David Aspinall | 1999-06-24 13:39:58 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-24 13:39:58 +0000 |
| commit | 9ac5e8b81cdc428d78979aade3fed309a4d80353 (patch) | |
| tree | 67203c3dc69638a8dc84ff6c0cd312828c0636ae | |
| parent | 3fc2a525da9970fbfaff05c6c1c7d9b44001011d (diff) | |
Deleted files.
| -rw-r--r-- | doc/ProofGeneral.txt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/ProofGeneral.txt b/doc/ProofGeneral.txt deleted file mode 100644 index e69de29b..00000000 --- a/doc/ProofGeneral.txt +++ /dev/null |