diff options
| author | David Aspinall | 1998-12-11 17:04:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 17:04:26 +0000 |
| commit | 6146b88d7b181cd0c202373c8220b895702a034f (patch) | |
| tree | 241dc43be40fa45742fc738ba5a7afccdccebced /isa/ProofGeneral.ML | |
| parent | 40abe2c17c9fd7cbdbae482c8e17070493f2c65a (diff) | |
Added new test/comments.
Diffstat (limited to 'isa/ProofGeneral.ML')
0 files changed, 0 insertions, 0 deletions