diff options
| author | David Aspinall | 2000-05-29 16:16:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 16:16:50 +0000 |
| commit | 0196e183006e8c74dcb4f5f5915c052cacf0c8f7 (patch) | |
| tree | 0c9626e373ca05c4cb8ff4dd300f7b05ea64ee84 /isar/Example.thy | |
| parent | b2eec9b2e23740ff524d13613f039a4f1783d06e (diff) | |
Updated
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions