diff options
| author | David Aspinall | 2008-07-19 16:05:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-19 16:05:36 +0000 |
| commit | 6d8438addf37fd84fbfa2b1a912e680da252bbf7 (patch) | |
| tree | 748c0d0b76a63cf143f49c6969d27f302e8d09be /isar/Example.thy | |
| parent | c9d0ab9e204520a088da078819a2ca2800951d8f (diff) | |
Add lbrace, rbrace
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions