diff options
| author | David Aspinall | 2002-09-11 14:41:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:41:52 +0000 |
| commit | 06ccb2780e4476066f5b7c2bfbd9f47fcde8abfd (patch) | |
| tree | efd649f4f17b100a82c68deeab89b00d6e4735e1 /isar/Example.thy | |
| parent | 9a36bfb59f17268071974a266cce63cef9da0e4c (diff) | |
Missing paren
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions