diff options
| author | David Aspinall | 2006-09-12 09:00:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-12 09:00:09 +0000 |
| commit | 2773fa648f0ed7a9324faa2e9c681c674f9f08b9 (patch) | |
| tree | 6952749fbfc9909a899685182cfb70fc5eff4996 /isa/Example.thy | |
| parent | 0c9e23b2328074c54ad4c5c9fa9d9ced156ac41b (diff) | |
Set version tag for new release.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions