isabelle: lib/encodings/isabelle-0@ea048ad15283 (annotated)

2864 103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	1	#
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	2	# $Id$
9818 71de955e8fc9 GPLed; wenzelm parents: 6281 diff changeset	3	# Author: Markus Wenzel, TU Muenchen
71de955e8fc9 GPLed; wenzelm parents: 6281 diff changeset	4	# License: GPL (GNU GENERAL PUBLIC LICENSE)
2864 103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	5	#
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	6	# The isabelle-0 encoding table.
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	7	#
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	8
3068 b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	9	#145:
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	10	#
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	11	#lless
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	12	#unlhd
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	13	#lhd
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	14	#rhd
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	15	#tturnstile
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	16	#langle
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	17	#rangle
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	18	#orelse
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	19	#top
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	20	#Or
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	21	#ocdot
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	22	#iota
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	23	#upsilon
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	24	#Upsilon
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	25	#Xi
3064 f04f93e5c0a9 added new chars; wenzelm parents: 2967 diff changeset	26
3068 b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	27	160:
b7562e452816 deactivated new symbols (not yet printable on xterm, emacs); wenzelm parents: 3067 diff changeset	28
6281 25d41c118304 renamed space2 to spacespace oheimb parents: 3068 diff changeset	29	spacespace
2864 103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	30	Gamma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	31	Delta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	32	Theta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	33	Lambda
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	34	Pi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	35	Sigma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	36	Phi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	37	Psi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	38	Omega
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	39	alpha
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	40	beta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	41	gamma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	42	delta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	43	epsilon
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	44	zeta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	45	eta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	46	theta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	47	kappa
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	48	lambda
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	49	mu
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	50	nu
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	51	xi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	52	pi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	53	rho
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	54	sigma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	55	tau
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	56	phi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	57	chi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	58	psi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	59	omega
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	60	not
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	61	and
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	62	or
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	63	forall
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	64	exists
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	65	And
3064 f04f93e5c0a9 added new chars; wenzelm parents: 2967 diff changeset	66	lceil
f04f93e5c0a9 added new chars; wenzelm parents: 2967 diff changeset	67	rceil
f04f93e5c0a9 added new chars; wenzelm parents: 2967 diff changeset	68	lfloor
f04f93e5c0a9 added new chars; wenzelm parents: 2967 diff changeset	69	rfloor
2864 103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	70	turnstile
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	71	Turnstile
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	72	lbrakk
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	73	rbrakk
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	74	cdot
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	75	in
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	76	subseteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	77	inter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	78	union
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	79	Inter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	80	Union
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	81	sqinter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	82	squnion
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	83	Sqinter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	84	Squnion
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	85	bottom
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	86	doteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	87	equiv
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	88	noteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	89	sqsubset
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	90	sqsubseteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	91	prec
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	92	preceq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	93	succ
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	94	approx
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	95	sim
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	96	simeq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	97	le
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	98	Colon
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	99	leftarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	100	midarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	101	rightarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	102	Leftarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	103	Midarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	104	Rightarrow
9960 07521b6eb888 renamed "bow" to "frown"; wenzelm parents: 9818 diff changeset	105	frown
2864 103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	106	mapsto
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	107	leadsto
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	108	up
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	109	down
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	110	notin
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	111	times
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	112	oplus
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	113	ominus
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	114	otimes
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	115	oslash
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	116	subset
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	117	infinity
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	118	box
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	119	diamond
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	120	circ
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	121	bullet
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	122	parallel
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	123	surd
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	124	copyright

author	paulson
	Fri, 22 Dec 2000 13:53:28 +0100
changeset 10725	ea048ad15283
parent 9960	07521b6eb888
permissions	-rw-r--r--