equal
deleted
inserted
replaced
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # The isabelle-0 encoding table. |
4 # The isabelle-0 encoding table. |
5 # |
5 # |
6 |
6 |
7 161: |
7 145: |
|
8 |
|
9 lless |
|
10 unlhd |
|
11 lhd |
|
12 rhd |
|
13 tturnstile |
|
14 langle |
|
15 rangle |
|
16 choice |
|
17 top |
|
18 Or |
|
19 ocdot |
|
20 iota |
|
21 upsilon |
|
22 Upsilon |
|
23 Xi |
|
24 space2 |
8 Gamma |
25 Gamma |
9 Delta |
26 Delta |
10 Theta |
27 Theta |
11 Lambda |
28 Lambda |
12 Pi |
29 Pi |
39 and |
56 and |
40 or |
57 or |
41 forall |
58 forall |
42 exists |
59 exists |
43 And |
60 And |
44 |
61 lceil |
45 #lceil |
62 rceil |
46 #rceil |
63 lfloor |
47 #lfloor |
64 rfloor |
48 #rfloor |
|
49 |
|
50 201: |
|
51 turnstile |
65 turnstile |
52 Turnstile |
66 Turnstile |
53 lbrakk |
67 lbrakk |
54 rbrakk |
68 rbrakk |
55 cdot |
69 cdot |