diff options
| author | David Aspinall | 2002-08-30 12:58:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 12:58:54 +0000 |
| commit | 7fa38f89d99caf86b3b92b9737303fc7f7006e66 (patch) | |
| tree | ba855d4675fbc3e3cd175c694e3dbe21f457b4de /isa/Example.thy | |
| parent | 4ad5cbb58b56ce36fd16b8f0bada27e69bb4a452 (diff) | |
Updated.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions