diff options
| author | David Aspinall | 2001-09-03 12:29:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-03 12:29:55 +0000 |
| commit | 2885afa55b4b4502f7fba2216eb18e6a57e0ba84 (patch) | |
| tree | 7c2a403a0cda9a64a92df465656a4f475f54cb14 /isar/Example.thy | |
| parent | 61e80e050f7850de61435f21f725f85f17f42361 (diff) | |
Renamed file
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions