diff options
| author | David Aspinall | 2008-07-10 21:44:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-10 21:44:02 +0000 |
| commit | 3a24329664b22553a81216b829e5c5389e7dd6d4 (patch) | |
| tree | 8473316eda88c47f02702398c735c5b8e7dd2335 /isar/Example.thy | |
| parent | 8701c8fb6bd179e9784fd0769a3fd92ab443f0bd (diff) | |
Documentation.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions