diff options
| author | David Aspinall | 1999-08-24 19:25:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-24 19:25:03 +0000 |
| commit | 75458c4a8911dfe44c978274354a8d25ecf42ad6 (patch) | |
| tree | f973965b900f9501ca93411e0687c93da1167c5c /isa/Example.thy | |
| parent | 985a49abde97c0388506de9ab213fa03f1673b9b (diff) | |
Fixed version variable name.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions