diff options
| author | David Aspinall | 1999-09-22 15:48:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-22 15:48:34 +0000 |
| commit | d47e6f73c05d121c7e6fc9475f9209f9a39a4a10 (patch) | |
| tree | 4ec0fc3037e1201b9da3c08b781c86a8a143c9d2 /isar/Example.thy | |
| parent | 9c9e453f42ea488a877534ea603ddd088928bb95 (diff) | |
Whitespace
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions