diff options
| author | David Aspinall | 2002-01-15 15:48:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 15:48:05 +0000 |
| commit | fd2e8c190ca4ec0b0c8a26e04c4804a62477c4e7 (patch) | |
| tree | 7d0841c4167a15a1827f4184bc47d0eabfd1abfa /isar/Example.thy | |
| parent | afb74243a342f7e9ee954101587d270e60052c0d (diff) | |
Updated.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions