diff options
| author | David Aspinall | 2009-08-20 12:57:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-20 12:57:24 +0000 |
| commit | 2414a8cc47ec135493126d1c3ac895171bf77d9b (patch) | |
| tree | 6afdcc34721c260ec98f2a41b3e20c7367e5dcae /isar/Example-Tokens.thy | |
| parent | a26e2e3089ab01d11c6cbca10abf6b168a2a41c7 (diff) | |
Doc tweaks via checkdoc.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions