diff options
| -rw-r--r-- | etc/isar/Unicode.thy | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/etc/isar/Unicode.thy b/etc/isar/Unicode.thy index 3b05efe3..0305091b 100644 --- a/etc/isar/Unicode.thy +++ b/etc/isar/Unicode.thy @@ -3,8 +3,6 @@ (* Example theory involving unicode characters (utf-8 encoding) -- both formal and informal ones. - - (Not fully supported, yet.) *) theory Unicode |