diff options
| author | David Aspinall | 2008-02-17 13:51:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-17 13:51:43 +0000 |
| commit | 99a0f3993bae3b114cc9212feb412e6b6b17dd19 (patch) | |
| tree | 99c234691a07d0b8951ce08162f0f291747d3065 /isar/Example.thy | |
| parent | c612dabc4f54874a2c790391b441caea71e08982 (diff) | |
Remove junk
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions