diff options
| author | David Aspinall | 2002-06-18 23:02:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-18 23:02:15 +0000 |
| commit | 9e751e825b3e830f3fcc81374e853b741e38bd79 (patch) | |
| tree | b61883fd48e9dedbc82e5e2257623a50097a56eb /isa/Example.thy | |
| parent | a28fbacc11bd18ee171a58cc029ae976de59c501 (diff) | |
Added some non-undoable tactics
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions