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 145: |
7 #145: |
|
8 # |
|
9 #lless |
|
10 #unlhd |
|
11 #lhd |
|
12 #rhd |
|
13 #tturnstile |
|
14 #langle |
|
15 #rangle |
|
16 #orelse |
|
17 #top |
|
18 #Or |
|
19 #ocdot |
|
20 #iota |
|
21 #upsilon |
|
22 #Upsilon |
|
23 #Xi |
8 |
24 |
9 lless |
25 160: |
10 unlhd |
26 |
11 lhd |
|
12 rhd |
|
13 tturnstile |
|
14 langle |
|
15 rangle |
|
16 orelse |
|
17 top |
|
18 Or |
|
19 ocdot |
|
20 iota |
|
21 upsilon |
|
22 Upsilon |
|
23 Xi |
|
24 space2 |
27 space2 |
25 Gamma |
28 Gamma |
26 Delta |
29 Delta |
27 Theta |
30 Theta |
28 Lambda |
31 Lambda |