diff options
| author | David Aspinall | 1998-10-29 18:42:17 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-29 18:42:17 +0000 |
| commit | 7d384343c6ea36d236e703945967b9ab72517fd4 (patch) | |
| tree | 2d6ff784cd6c033d46898b0bcb5a82728e9b8962 /isa/ProofGeneral.ML | |
| parent | badb19ef1052afba960b0dfbedd30d5df77f5af1 (diff) | |
Reverted to old file, v 2.9
Diffstat (limited to 'isa/ProofGeneral.ML')
0 files changed, 0 insertions, 0 deletions