| changeset 40967 | 5eb59b62e7de |
| parent 39246 | 9e58f0499f57 |
| child 58249 | 180f1b3508ed |
--- a/src/HOL/ex/Hebrew.thy Sun Dec 05 15:23:33 2010 +0100 +++ b/src/HOL/ex/Hebrew.thy Mon Dec 06 14:45:29 2010 +0100 @@ -1,5 +1,4 @@ -(* -*- coding: utf-8 -*- :encoding=utf-8: - Author: Makarius +(* Author: Makarius Example theory involving Unicode characters (UTF-8 encoding) -- both formal and informal ones.