diff options
| author | David Aspinall | 2006-10-27 21:03:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-10-27 21:03:44 +0000 |
| commit | dd508e40ec0ed110202eab8f854c5dc3c4ca220d (patch) | |
| tree | 8429de15423a336b78bb89efcb7213c81c8ebe5e /isa/Example.thy | |
| parent | 1a902e231b83c00399242cd61838ba0c5f6770de (diff) | |
Set version tag for new release.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions