diff options
| author | David Aspinall | 1998-11-26 20:42:35 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-26 20:42:35 +0000 |
| commit | c7b4b7285cbf75c1c77a07436e14a04efe9c157a (patch) | |
| tree | 7797d57e982e2bf9687e10110de5d101e1e61f10 /isa/example.thy | |
| parent | dfbc1b9b4215ec509f0fc2dc3fda02f17d8d45ce (diff) | |
Added note about final things to do for 2.0
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions