isabelle: src/Tools/8bit/doc/palette.isa@836950047d85 (annotated)

1826 2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	1	� � � ��
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	2
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	3	� � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	4
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	5	� ��
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	6
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	7	� � � � � � � � � � � � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	8
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	9	� � � � � � � � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	10	� � � � � � � � � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	11
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	12	� � � ��
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	13	� � � ��
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	14	� � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	15
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	16	� � � � � � � � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	17	� � � � � � � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	18
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	19	� � � � � � � � �

author	paulson
	Tue, 16 Jul 1996 15:49:46 +0200
changeset 1868	836950047d85
parent 1826	2a2c0dbeb4ac
child 4164	171aacc64aa5
permissions	-rw-r--r--