diff options
| author | David Aspinall | 1999-10-21 18:21:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-21 18:21:16 +0000 |
| commit | 0ff32e8f48ac88d991df4c25e7ce12c0c0119565 (patch) | |
| tree | e4f8266e5a7d7f77d86b0aa1fb046d36a5071a0b /isar/Example.thy | |
| parent | 67e0cc01492d7b5be16fa6f8621760818c043844 (diff) | |
Typo.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions