diff options
| author | David Aspinall | 1999-07-22 16:19:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-22 16:19:10 +0000 |
| commit | 1509916daf1b3a0e40cf903c2a061c9624bd3152 (patch) | |
| tree | bf67442d69ade31ac9d77a31ee267b6b6bb05167 /isar/Example.thy | |
| parent | 132d05c66f77edda415aa6373660596a46ba9adf (diff) | |
Set version tag for new release.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions