diff options
| author | David Aspinall | 1998-11-25 12:48:17 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:48:17 +0000 |
| commit | f1e1e37ac85ab5f6746d03b067628605fb67ab09 (patch) | |
| tree | c082c785de486ce0b128cbf50e2468deccc44278 /isa/example.thy | |
| parent | b1df921fe35cb1c00d413beb89ae513a1214c5b5 (diff) | |
Load proof-toolbar
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions