diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 23:27:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 23:27:26 +0000 |
commit | eaa9c3e99e9d76ab2961f006cad3b7d2517e435c (patch) | |
tree | 465ebda19c83169ecbefcfdd97f670d54383c89b /isar/Root2_Tactic.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/Root2_Tactic.thy')
0 files changed, 0 insertions, 0 deletions