diff options
| author | David Aspinall | 2001-12-11 13:10:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:10:06 +0000 |
| commit | ce1b3a6a7f3caca585c64cd9b15a4048442d8485 (patch) | |
| tree | c7cd080c4cb353b5421486546e0a6341e172daff /isar/Example.thy | |
| parent | 70d38539b583e1cd0c128587d3f73d98f0bd7405 (diff) | |
Missing paren
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions