diff options
| author | David Aspinall | 2002-09-13 13:21:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-13 13:21:40 +0000 |
| commit | b7c21d40c759fd73ee20de9a13178a480ccebd78 (patch) | |
| tree | 242a2c2908155b28e3bb9e4f9322998f6617566c /isar/Example.thy | |
| parent | bd7f029bd02d6c9d41fb4c4df426c08c05e1e17d (diff) | |
Updated.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions