diff options
| author | David Aspinall | 2009-09-05 09:17:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 09:17:32 +0000 |
| commit | 3fdb0399be6929187318a0b4f2a4c0c7061f2f6e (patch) | |
| tree | 005262b49613d0d922217ed96ac1413fe4b4f3e7 /isar/Example.thy | |
| parent | 9b48ef31aeaf14c9be09eac6800db95a5fa9dc51 (diff) | |
Missing declaration
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions