diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:48:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:48:17 +0000 |
| commit | f1e1e37ac85ab5f6746d03b067628605fb67ab09 (patch) | |
| tree | c082c785de486ce0b128cbf50e2468deccc44278 /isa/ProofGeneral.ML | |
| parent | b1df921fe35cb1c00d413beb89ae513a1214c5b5 (diff) | |
Load proof-toolbar
Diffstat (limited to 'isa/ProofGeneral.ML')
0 files changed, 0 insertions, 0 deletions