diff options
| author | Hendrik Tews | 2011-07-05 09:21:03 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-07-05 09:21:03 +0000 |
| commit | 63e733181007056be5c252e4e42b371fc3f09ac9 (patch) | |
| tree | d10c1cfa8118bd3134862e8e259c754fe8ca0ffe /isar/Example.thy | |
| parent | 5c26b573fc95c4c353d493a26f6f5a2f9ce75263 (diff) | |
+ fix documentation and one spelling error
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions