diff options
| author | proofgen | 1999-04-07 14:30:41 +0000 |
|---|---|---|
| committer | proofgen | 1999-04-07 14:30:41 +0000 |
| commit | e4f3c2ad6eccd68e82765eb45a5ede50a2738236 (patch) | |
| tree | f679beb41df353978a24e8021ea7d664495306c0 /isar/Example.thy | |
| parent | 207fad4cdad17e6b12152d6c9bcdca466d7d0b46 (diff) | |
Set version tag for new release.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions