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

author	paulson
	Fri, 30 May 1997 15:20:41 +0200
changeset 3371	80f0d0b2f404
parent 3068	b7562e452816
child 6281	25d41c118304
permissions	-rw-r--r--