isabelle: lib/encodings/isabelle-0@283e31f6a4be (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
2944 283e31f6a4be tuned format; wenzelm parents: 2864 diff changeset	7	161:
2864 103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	8	Gamma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	9	Delta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	10	Theta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	11	Lambda
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	12	Pi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	13	Sigma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	14	Phi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	15	Psi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	16	Omega
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	17	alpha
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	18	beta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	19	gamma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	20	delta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	21	epsilon
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	22	zeta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	23	eta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	24	theta
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	25	kappa
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	26	lambda
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	27	mu
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	28	nu
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	29	xi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	30	pi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	31	rho
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	32	sigma
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	33	tau
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	34	phi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	35	chi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	36	psi
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	37	omega
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	38	not
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	39	and
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	40	or
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	41	forall
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	42	exists
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	43	And
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	44	lceil
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	45	rceil
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	46	lfloor
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	47	rfloor
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	48	turnstile
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	49	Turnstile
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	50	lbrakk
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	51	rbrakk
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	52	cdot
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	53	in
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	54	subseteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	55	inter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	56	union
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	57	Inter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	58	Union
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	59	sqinter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	60	squnion
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	61	Sqinter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	62	Squnion
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	63	bottom
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	64	doteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	65	equiv
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	66	noteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	67	sqsubset
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	68	sqsubseteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	69	prec
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	70	preceq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	71	succ
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	72	approx
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	73	sim
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	74	simeq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	75	le
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	76	Colon
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	77	leftarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	78	midarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	79	rightarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	80	Leftarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	81	Midarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	82	Rightarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	83	bow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	84	mapsto
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	85	leadsto
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	86	up
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	87	down
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	88	notin
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	89	times
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	90	oplus
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	91	ominus
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	92	otimes
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	93	oslash
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	94	subset
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	95	infinity
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	96	box
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	97	diamond
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	98	circ
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	99	bullet
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	100	parallel
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	101	surd
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	102	copyright

author	wenzelm
	Sun, 13 Apr 1997 19:12:37 +0200
changeset 2944	283e31f6a4be
parent 2864	103bd2dc33b0
child 2967	89db5eedecab
permissions	-rw-r--r--