diff options
| author | David Aspinall | 2009-12-01 23:27:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-01 23:27:26 +0000 |
| commit | eaa9c3e99e9d76ab2961f006cad3b7d2517e435c (patch) | |
| tree | 465ebda19c83169ecbefcfdd97f670d54383c89b /isar/Example.thy | |
| parent | 6bf7903d3d22e64045783c709d27fdcc2cfea714 (diff) | |
Add rest of standard token symbols for alphabets in other fonts
(e.g. fraktur lower case \<aa>, whatever these are supposed to look like).
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions