diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 23:36:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-14 23:36:21 +0000 |
| commit | b8bdbab2356aa0e68164143d3f78c73ad12197c7 (patch) | |
| tree | f758c99e6891b65e4736688acb3a612ccc085151 /isar/Example.thy | |
| parent | ae4c73ada9f3dcceb7e5061fa431cfec3c14877d (diff) | |
Adjust comment
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions