Put in minimal simpset to avoid excessive simplification,
just as in revision 1.9 of HOL/indrule.ML
¿ À Á çè Ã Â Û
³ ¤ è ë ®
Ä êë Ú Ë Ì Å Æ Ç È É Ê
Í Î ñ Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ý Ü
Ù Þ ß à á â ã ä å û ü
ò ó ô õ ö ÷ ø ù ú ý þ ÿ
æ ç è æè æç çè
é ê ë éë éê êë
ì í î ï ð
ª « ¬ ® ¯ ° ± ² ³ ´
µ ¶ · ¸ ¹ º » ¼ ½ ¾
¡ ¢ £ ¤ ¥ ¦ § ¨ ©