src/Tools/8bit/doc/palette.isa
author wenzelm
Thu, 14 Dec 2000 19:37:09 +0100
changeset 10672 3b1c2d74a01b
parent 4638 49c1b2b63aa0
permissions -rw-r--r--
use \<Sum> from main HOL;

À Á çè ¿ Û Ã Â ® ³ ¤ 

Ú Ä Ë Ì êë Å Æ Ç È Ê É 

å ë è ò ó ô õ ö
Ù ã â á Þ ß à ä ø
ù ú û ü Í ' ' ì þ ÿ ý 
 
Ð Ñ Ò Ó ÷ Ï Î ñ 
Ô Õ Ö × Ü Ý   Ø

æ ç è æè æç çè í î ï ð 
é ê ë éë éê êë

ª « ¬ ­ ® ¯ ° ± ² ³ ´ 
µ ¶ · ¸ ¹ º » ¼ ½ ¾

¡ ¢ £ ¤ ¥ ¦ § ¨ ©