isabelle: lib/encodings/isabelle-0@89db5eedecab (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
2967 89db5eedecab removed lceil, rceil, lfloor, rfloor; wenzelm parents: 2944 diff changeset	44
89db5eedecab removed lceil, rceil, lfloor, rfloor; wenzelm parents: 2944 diff changeset	45	#lceil
89db5eedecab removed lceil, rceil, lfloor, rfloor; wenzelm parents: 2944 diff changeset	46	#rceil
89db5eedecab removed lceil, rceil, lfloor, rfloor; wenzelm parents: 2944 diff changeset	47	#lfloor
89db5eedecab removed lceil, rceil, lfloor, rfloor; wenzelm parents: 2944 diff changeset	48	#rfloor
89db5eedecab removed lceil, rceil, lfloor, rfloor; wenzelm parents: 2944 diff changeset	49
89db5eedecab removed lceil, rceil, lfloor, rfloor; wenzelm parents: 2944 diff changeset	50	201:
2864 103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	51	turnstile
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	52	Turnstile
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	53	lbrakk
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	54	rbrakk
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	55	cdot
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	56	in
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	57	subseteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	58	inter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	59	union
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	60	Inter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	61	Union
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	62	sqinter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	63	squnion
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	64	Sqinter
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	65	Squnion
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	66	bottom
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	67	doteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	68	equiv
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	69	noteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	70	sqsubset
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	71	sqsubseteq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	72	prec
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	73	preceq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	74	succ
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	75	approx
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	76	sim
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	77	simeq
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	78	le
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	79	Colon
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	Leftarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	84	Midarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	85	Rightarrow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	86	bow
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	87	mapsto
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	88	leadsto
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	89	up
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	90	down
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	91	notin
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	92	times
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	93	oplus
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	94	ominus
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	95	otimes
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	96	oslash
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	97	subset
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	98	infinity
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	99	box
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	100	diamond
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	101	circ
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	102	bullet
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	103	parallel
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	104	surd
103bd2dc33b0 The isabelle-0 encoding table. wenzelm parents: diff changeset	105	copyright

author	wenzelm
	Wed, 16 Apr 1997 18:53:36 +0200
changeset 2967	89db5eedecab
parent 2944	283e31f6a4be
child 3064	f04f93e5c0a9
permissions	-rw-r--r--