diff options
| author | David Aspinall | 2002-01-16 16:30:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-16 16:30:47 +0000 |
| commit | 4973d5e79f66a650d9141e665a8fb8e9a18e9207 (patch) | |
| tree | 857348d8cc773d6437e8cce3832dfb6c5d7ccb9e /isar/Example.thy | |
| parent | 5ea9f79458b06af4b6626890ce3735150a3539d0 (diff) | |
Whitespace
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions