diff options
| author | David Aspinall | 2002-07-18 22:55:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 22:55:07 +0000 |
| commit | 6ff6104ec06c9410fd616175f2d27807b7789801 (patch) | |
| tree | 2af70c562d52b96b24c643ca1a204b82f42af52a /isar/Example.thy | |
| parent | 996e9f10cf414845843ee6db8376ab1b4a6f3a1e (diff) | |
Fix markup
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions