diff options
| author | David Aspinall | 2009-05-26 16:20:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 16:20:47 +0000 |
| commit | 1316f30357ddf0a12ff12221d417962ab8a9acad (patch) | |
| tree | 901f1ef131abc5ad0b15d082746b75e31cec8277 /isar/Example.thy | |
| parent | 03d5d3d06ff645d9cd3d8caaf5335e94a11764cb (diff) | |
Correct Unicode support
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions