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

author	wenzelm
	Tue, 29 Apr 1997 17:23:53 +0200
changeset 3067	4d501db6ebed
parent 3064	f04f93e5c0a9
child 3068	b7562e452816
permissions	-rw-r--r--