diff options
| author | David Aspinall | 2000-12-20 10:25:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-20 10:25:10 +0000 |
| commit | 9ca735008f8edfdd5a915cea2b1d78e5bee16b6c (patch) | |
| tree | ccc12c05c6e1e31352c1957f309ee7946686fcf0 /isar/Example.thy | |
| parent | ad2746d8a9c09b2832543c19e7f586e59ea3bf47 (diff) | |
Renamed file
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions