lib/fonts/isabelle24.bdf
author wenzelm
Sun, 15 Oct 2000 19:50:35 +0200
changeset 10220 2a726de6e124
parent 6281 25d41c118304
permissions -rw-r--r--
proper symbol markup with \isamath, \isatext; support sub/super scripts:
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     1
STARTFONT 2.1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     2
FONT -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     3
SIZE 24 75 75
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     4
FONTBOUNDINGBOX 16 22 6 -5
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     5
STARTPROPERTIES 22
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     6
FONTNAME_REGISTRY ""
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     7
FOUNDRY "Isabelle"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     8
FAMILY_NAME "Fixed"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     9
WEIGHT_NAME "Bold"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    10
SLANT "R"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    11
SETWIDTH_NAME "Normal"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    12
ADD_STYLE_NAME ""
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    13
PIXEL_SIZE 24
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    14
POINT_SIZE 240
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    15
RESOLUTION_X 75
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    16
RESOLUTION_Y 75
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    17
SPACING "M"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    18
AVERAGE_WIDTH 150
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    19
CHARSET_REGISTRY "Isabelle"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    20
CHARSET_ENCODING "0"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    21
CHARSET_COLLECTIONS ""
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    22
FULL_NAME "Fixed Bold"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    23
COPYRIGHT "Public"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    24
FONT_ASCENT 17
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    25
FONT_DESCENT 5
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    26
CAP_HEIGHT 15
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    27
X_HEIGHT 11
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    28
ENDPROPERTIES
3064
f04f93e5c0a9 added new chars;
wenzelm
parents: 2791
diff changeset
    29
CHARS 206
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    30
STARTCHAR space
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    31
ENCODING 32
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    32
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    33
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    34
BBX 1 1 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    35
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    36
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    37
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    38
STARTCHAR exclam
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    39
ENCODING 33
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    40
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    41
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    42
BBX 4 16 5 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    43
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    44
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    45
f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    46
f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    47
f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    48
f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    49
f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    50
f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    51
f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    52
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    53
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    54
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    55
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    56
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    57
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    58
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    59
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    60
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    61
STARTCHAR quotedbl
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    62
ENCODING 34
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    63
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    64
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    65
BBX 8 7 3 8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    66
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    67
e7
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    68
e7
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    69
e7
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    70
e7
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    71
c6
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    72
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    73
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    74
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    75
STARTCHAR numbersign
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    76
ENCODING 35
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    77
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    78
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    79
BBX 12 19 1 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    80
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    81
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    82
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    83
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    84
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    85
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    86
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    87
7ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    88
7ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    89
1980
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    90
1980
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    91
1980
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    92
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    93
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    94
3300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    95
3300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    96
3300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    97
3300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    98
3300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    99
3300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   100
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   101
STARTCHAR dollar
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   102
ENCODING 36
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   103
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   104
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   105
BBX 10 20 2 -3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   106
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   107
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   108
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   109
3d80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   110
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   111
c380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   112
c180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   113
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   114
e000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   115
7e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   116
1f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   117
01c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   118
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   119
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   120
e1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   121
ff80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   122
df00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   123
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   124
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   125
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   126
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   127
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   128
STARTCHAR percent
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   129
ENCODING 37
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   130
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   131
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   132
BBX 10 15 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   133
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   134
3c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   135
6600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   136
4200
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   137
4200
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   138
6600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   139
3c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   140
01c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   141
0f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   142
3800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   143
e780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   144
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   145
0840
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   146
0840
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   147
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   148
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   149
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   150
STARTCHAR ampersand
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   151
ENCODING 38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   152
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   153
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   154
BBX 11 14 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   155
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   156
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   157
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   158
6300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   159
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   160
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   161
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   162
3800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   163
7cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   164
6fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   165
c780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   166
c300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   167
c780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   168
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   169
7ce0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   170
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   171
STARTCHAR quoteright
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   172
ENCODING 39
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   173
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   174
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   175
BBX 5 6 4 9
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   176
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   177
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   178
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   179
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   180
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   181
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   182
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   183
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   184
STARTCHAR parenleft
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   185
ENCODING 40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   186
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   187
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   188
BBX 5 20 6 -4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   189
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   190
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   191
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   192
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   193
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   194
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   195
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   196
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   197
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   198
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   199
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   200
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   201
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   202
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   203
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   204
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   205
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   206
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   207
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   208
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   209
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   210
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   211
STARTCHAR parenright
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   212
ENCODING 41
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   213
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   214
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   215
BBX 5 20 3 -4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   216
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   217
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   218
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   219
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   220
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   221
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   222
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   223
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   224
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   225
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   226
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   227
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   228
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   229
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   230
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   231
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   232
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   233
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   234
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   235
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   236
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   237
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   238
STARTCHAR asterisk
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   239
ENCODING 42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   240
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   241
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   242
BBX 10 11 2 5
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   243
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   244
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   245
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   246
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   247
ccc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   248
edc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   249
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   250
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   251
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   252
3300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   253
7380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   254
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   255
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   256
STARTCHAR plus
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   257
ENCODING 43
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   258
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   259
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   260
BBX 12 14 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   261
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   262
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   263
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   264
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   265
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   266
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   267
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   268
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   269
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   270
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   271
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   272
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   273
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   274
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   275
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   276
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   277
STARTCHAR comma
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   278
ENCODING 44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   279
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   280
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   281
BBX 5 6 4 -3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   282
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   283
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   284
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   285
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   286
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   287
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   288
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   289
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   290
STARTCHAR minus
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   291
ENCODING 45
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   292
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   293
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   294
BBX 12 2 1 6
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   295
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   296
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   297
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   298
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   299
STARTCHAR period
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   300
ENCODING 46
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   301
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   302
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   303
BBX 3 3 5 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   304
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   305
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   306
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   307
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   308
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   309
STARTCHAR slash
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   310
ENCODING 47
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   311
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   312
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   313
BBX 11 20 2 -3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   314
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   315
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   316
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   317
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   318
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   319
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   320
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   321
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   322
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   323
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   324
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   325
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   326
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   327
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   328
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   329
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   330
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   331
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   332
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   333
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   334
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   335
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   336
STARTCHAR zero
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   337
ENCODING 48
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   338
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   339
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   340
BBX 10 16 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   341
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   342
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   343
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   344
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   345
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   346
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   347
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   348
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   349
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   350
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   351
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   352
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   353
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   354
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   355
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   356
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   357
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   358
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   359
STARTCHAR one
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   360
ENCODING 49
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   361
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   362
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   363
BBX 10 16 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   364
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   365
1c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   366
fc00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   367
fc00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   368
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   369
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   370
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   371
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   372
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   373
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   374
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   375
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   376
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   377
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   378
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   379
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   380
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   381
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   382
STARTCHAR two
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   383
ENCODING 50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   384
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   385
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   386
BBX 11 16 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   387
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   388
1f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   389
3fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   390
70e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   391
6060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   392
6060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   393
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   394
00e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   395
01c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   396
0380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   397
0700
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   398
0e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   399
1c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   400
3800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   401
7000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   402
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   403
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   404
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   405
STARTCHAR three
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   406
ENCODING 51
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   407
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   408
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   409
BBX 11 16 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   410
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   411
1f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   412
3fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   413
70e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   414
6060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   415
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   416
00e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   417
01c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   418
0f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   419
0fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   420
00e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   421
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   422
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   423
c060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   424
e0e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   425
7fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   426
3f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   427
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   428
STARTCHAR four
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   429
ENCODING 52
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   430
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   431
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   432
BBX 11 16 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   433
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   434
0380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   435
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   436
0f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   437
0d80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   438
1980
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   439
1980
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   440
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   441
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   442
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   443
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   444
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   445
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   446
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   447
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   448
0fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   449
0fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   450
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   451
STARTCHAR five
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   452
ENCODING 53
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   453
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   454
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   455
BBX 11 16 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   456
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   457
7fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   458
7fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   459
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   460
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   461
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   462
6f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   463
7fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   464
71c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   465
00e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   466
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   467
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   468
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   469
c0e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   470
e1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   471
7fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   472
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   473
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   474
STARTCHAR six
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   475
ENCODING 54
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   476
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   477
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   478
BBX 10 16 3 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   479
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   480
07c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   481
1fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   482
3c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   483
7000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   484
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   485
e000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   486
cf00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   487
df80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   488
f1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   489
e0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   490
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   491
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   492
e0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   493
71c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   494
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   495
1f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   496
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   497
STARTCHAR seven
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   498
ENCODING 55
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   499
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   500
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   501
BBX 10 16 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   502
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   503
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   504
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   505
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   506
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   507
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   508
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   509
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   510
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   511
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   512
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   513
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   514
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   515
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   516
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   517
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   518
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   519
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   520
STARTCHAR eight
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   521
ENCODING 56
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   522
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   523
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   524
BBX 10 16 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   525
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   526
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   527
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   528
e1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   529
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   530
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   531
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   532
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   533
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   534
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   535
e1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   536
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   537
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   538
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   539
e1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   540
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   541
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   542
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   543
STARTCHAR nine
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   544
ENCODING 57
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   545
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   546
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   547
BBX 10 16 3 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   548
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   549
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   550
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   551
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   552
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   553
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   554
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   555
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   556
c1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   557
e3c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   558
7ec0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   559
3cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   560
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   561
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   562
0380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   563
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   564
fc00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   565
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   566
STARTCHAR colon
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   567
ENCODING 58
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   568
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   569
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   570
BBX 3 11 5 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   571
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   572
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   573
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   574
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   575
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   576
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   577
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   578
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   579
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   580
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   581
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   582
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   583
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   584
STARTCHAR semicolon
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   585
ENCODING 59
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   586
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   587
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   588
BBX 5 14 3 -3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   589
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   590
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   591
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   592
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   593
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   594
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   595
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   596
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   597
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   598
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   599
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   600
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   601
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   602
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   603
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   604
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   605
STARTCHAR less
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   606
ENCODING 60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   607
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   608
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   609
BBX 13 12 1 1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   610
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   611
0038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   612
00f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   613
03c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   614
0f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   615
3c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   616
f000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   617
f000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   618
3c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   619
0f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   620
03c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   621
00f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   622
0038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   623
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   624
STARTCHAR equal
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   625
ENCODING 61
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   626
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   627
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   628
BBX 12 6 1 4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   629
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   630
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   631
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   632
0000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   633
0000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   634
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   635
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   636
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   637
STARTCHAR greater
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   638
ENCODING 62
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   639
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   640
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   641
BBX 13 12 1 1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   642
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   643
e000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   644
7800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   645
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   646
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   647
01e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   648
0078
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   649
0078
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   650
01e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   651
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   652
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   653
7800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   654
e000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   655
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   656
STARTCHAR question
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   657
ENCODING 63
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   658
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   659
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   660
BBX 9 15 3 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   661
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   662
7e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   663
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   664
c380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   665
c180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   666
c180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   667
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   668
0380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   669
0f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   670
1c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   671
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   672
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   673
0000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   674
0000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   675
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   676
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   677
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   678
STARTCHAR at
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   679
ENCODING 64
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   680
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   681
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   682
BBX 10 18 2 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   683
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   684
1c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   685
7f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   686
6300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   687
c180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   688
c180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   689
c780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   690
cf80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   691
dd80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   692
d980
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   693
d980
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   694
dd80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   695
cfc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   696
c7c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   697
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   698
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   699
6180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   700
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   701
1e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   702
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   703
STARTCHAR A
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   704
ENCODING 65
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   705
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   706
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   707
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   708
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   709
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   710
3f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   711
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   712
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   713
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   714
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   715
1ce0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   716
1860
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   717
1860
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   718
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   719
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   720
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   721
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   722
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   723
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   724
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   725
STARTCHAR B
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   726
ENCODING 66
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   727
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   728
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   729
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   730
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   731
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   732
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   733
3070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   734
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   735
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   736
3070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   737
3fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   738
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   739
3038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   740
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   741
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   742
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   743
3038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   744
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   745
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   746
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   747
STARTCHAR C
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   748
ENCODING 67
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   749
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   750
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   751
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   752
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   753
0fd8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   754
3ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   755
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   756
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   757
e018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   758
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   759
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   760
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   761
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   762
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   763
e000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   764
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   765
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   766
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   767
0fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   768
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   769
STARTCHAR D
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   770
ENCODING 68
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   771
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   772
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   773
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   774
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   775
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   776
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   777
3038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   778
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   779
301c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   780
300c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   781
300c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   782
300c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   783
300c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   784
300c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   785
300c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   786
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   787
3038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   788
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   789
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   790
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   791
STARTCHAR E
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   792
ENCODING 69
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   793
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   794
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   795
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   796
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   797
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   798
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   799
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   800
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   801
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   802
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   803
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   804
3f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   805
3f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   806
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   807
3198
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   808
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   809
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   810
fff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   811
fff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   812
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   813
STARTCHAR F
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   814
ENCODING 70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   815
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   816
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   817
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   818
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   819
fff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   820
fff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   821
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   822
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   823
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   824
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   825
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   826
3f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   827
3f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   828
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   829
3180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   830
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   831
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   832
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   833
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   834
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   835
STARTCHAR G
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   836
ENCODING 71
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   837
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   838
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   839
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   840
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   841
0fd8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   842
3ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   843
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   844
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   845
e018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   846
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   847
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   848
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   849
c1f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   850
c1f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   851
e018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   852
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   853
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   854
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   855
0fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   856
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   857
STARTCHAR H
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   858
ENCODING 72
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   859
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   860
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   861
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   862
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   863
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   864
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   865
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   866
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   867
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   868
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   869
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   870
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   871
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   872
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   873
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   874
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   875
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   876
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   877
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   878
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   879
STARTCHAR I
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   880
ENCODING 73
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   881
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   882
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   883
BBX 10 15 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   884
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   885
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   886
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   887
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   888
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   889
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   890
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   891
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   892
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   893
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   894
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   895
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   896
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   897
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   898
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   899
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   900
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   901
STARTCHAR J
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   902
ENCODING 74
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   903
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   904
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   905
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   906
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   907
1ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   908
1ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   909
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   910
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   911
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   912
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   913
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   914
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   915
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   916
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   917
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   918
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   919
e1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   920
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   921
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   922
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   923
STARTCHAR K
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   924
ENCODING 75
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   925
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   926
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   927
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   928
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   929
fcf8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   930
fcf8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   931
30e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   932
31c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   933
3380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   934
3700
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   935
3e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   936
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   937
3b80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   938
31c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   939
30e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   940
3060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   941
3070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   942
fc3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   943
fc3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   944
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   945
STARTCHAR L
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   946
ENCODING 76
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   947
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   948
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   949
BBX 12 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   950
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   951
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   952
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   953
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   954
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   955
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   956
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   957
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   958
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   959
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   960
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   961
1830
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   962
1830
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   963
1830
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   964
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   965
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   966
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   967
STARTCHAR M
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   968
ENCODING 77
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   969
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   970
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   971
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   972
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   973
f03c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   974
f03c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   975
7878
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   976
7878
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   977
7878
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   978
6cd8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   979
6cd8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   980
6798
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   981
6798
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   982
6318
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   983
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   984
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   985
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   986
f87c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   987
f87c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   988
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   989
STARTCHAR N
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   990
ENCODING 78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   991
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   992
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   993
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   994
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   995
f0f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   996
f0f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   997
7830
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   998
7830
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   999
6c30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1000
6c30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1001
6630
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1002
6630
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1003
6330
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1004
6330
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1005
61b0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1006
61b0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1007
60f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1008
f8f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1009
f870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1010
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1011
STARTCHAR O
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1012
ENCODING 79
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1013
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1014
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1015
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1016
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1017
0f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1018
3fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1019
7070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1020
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1021
e038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1022
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1023
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1024
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1025
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1026
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1027
e038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1028
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1029
7070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1030
3fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1031
0f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1032
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1033
STARTCHAR P
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1034
ENCODING 80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1035
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1036
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1037
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1038
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1039
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1040
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1041
3038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1042
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1043
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1044
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1045
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1046
3038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1047
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1048
3fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1049
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1050
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1051
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1052
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1053
ff00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1054
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1055
STARTCHAR Q
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1056
ENCODING 81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1057
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1058
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1059
BBX 13 18 1 -3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1060
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1061
0f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1062
3fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1063
7070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1064
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1065
e038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1066
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1067
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1068
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1069
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1070
c018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1071
e038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1072
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1073
7070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1074
3fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1075
0f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1076
1e18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1077
3ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1078
39e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1079
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1080
STARTCHAR R
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1081
ENCODING 82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1082
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1083
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1084
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1085
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1086
ff80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1087
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1088
3070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1089
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1090
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1091
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1092
3070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1093
3fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1094
3f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1095
31c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1096
30e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1097
3060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1098
3070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1099
fc3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1100
fc3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1101
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1102
STARTCHAR S
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1103
ENCODING 83
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1104
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1105
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1106
BBX 12 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1107
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1108
1fb0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1109
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1110
7070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1111
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1112
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1113
7000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1114
3e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1115
1fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1116
03e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1117
0070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1118
c030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1119
c030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1120
e070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1121
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1122
dfc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1123
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1124
STARTCHAR T
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1125
ENCODING 84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1126
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1127
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1128
BBX 12 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1129
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1130
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1131
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1132
c630
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1133
c630
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1134
c630
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1135
c630
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1136
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1137
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1138
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1139
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1140
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1141
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1142
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1143
3fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1144
3fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1145
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1146
STARTCHAR U
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1147
ENCODING 85
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1148
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1149
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1150
BBX 13 15 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1151
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1152
f8f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1153
f8f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1154
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1155
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1156
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1157
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1158
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1159
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1160
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1161
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1162
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1163
6030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1164
3060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1165
3fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1166
1fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1167
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1168
STARTCHAR V
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1169
ENCODING 86
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1170
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1171
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1172
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1173
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1174
f87c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1175
f87c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1176
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1177
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1178
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1179
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1180
3030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1181
1860
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1182
1860
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1183
1860
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1184
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1185
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1186
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1187
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1188
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1189
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1190
STARTCHAR W
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1191
ENCODING 87
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1192
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1193
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1194
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1195
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1196
f87c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1197
f87c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1198
6018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1199
6318
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1200
6318
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1201
6798
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1202
6798
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1203
6fd8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1204
6cd8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1205
6cd8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1206
3cf0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1207
3870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1208
3870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1209
3870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1210
3870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1211
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1212
STARTCHAR X
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1213
ENCODING 88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1214
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1215
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1216
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1217
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1218
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1219
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1220
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1221
3870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1222
1ce0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1223
0fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1224
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1225
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1226
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1227
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1228
1ce0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1229
3870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1230
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1231
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1232
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1233
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1234
STARTCHAR Y
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1235
ENCODING 89
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1236
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1237
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1238
BBX 14 15 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1239
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1240
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1241
fcfc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1242
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1243
3870
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1244
1860
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1245
0cc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1246
0fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1247
0780
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1248
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1249
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1250
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1251
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1252
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1253
1fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1254
1fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1255
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1256
STARTCHAR Z
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1257
ENCODING 90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1258
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1259
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1260
BBX 11 15 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1261
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1262
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1263
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1264
c0e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1265
c1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1266
c380
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1267
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1268
0700
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1269
0e00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1270
1c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1271
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1272
3860
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1273
7060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1274
e060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1275
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1276
ffe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1277
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1278
STARTCHAR bracketleft
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1279
ENCODING 91
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1280
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1281
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1282
BBX 5 20 6 -4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1283
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1284
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1285
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1286
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1287
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1288
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1289
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1290
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1291
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1292
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1293
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1294
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1295
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1296
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1297
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1298
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1299
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1300
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1301
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1302
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1303
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1304
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1305
STARTCHAR backslash
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1306
ENCODING 92
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1307
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1308
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1309
BBX 11 20 2 -3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1310
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1311
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1312
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1313
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1314
6000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1315
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1316
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1317
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1318
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1319
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1320
0c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1321
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1322
0600
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1323
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1324
0300
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1325
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1326
0180
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1327
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1328
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1329
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1330
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1331
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1332
STARTCHAR bracketright
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1333
ENCODING 93
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1334
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1335
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1336
BBX 5 20 3 -4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1337
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1338
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1339
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1340
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1341
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1342
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1343
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1344
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1345
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1346
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1347
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1348
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1349
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1350
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1351
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1352
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1353
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1354
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1355
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1356
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1357
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1358
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1359
STARTCHAR asciicircum
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1360
ENCODING 94
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1361
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1362
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1363
BBX 8 8 3 8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1364
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1365
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1366
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1367
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1368
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1369
66
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1370
66
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1371
c3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1372
c3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1373
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1374
STARTCHAR underscore
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1375
ENCODING 95
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1376
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1377
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1378
BBX 15 2 0 -4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1379
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1380
fffe
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1381
fffe
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1382
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1383
STARTCHAR quoteleft
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1384
ENCODING 96
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1385
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1386
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1387
BBX 5 6 5 9
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1388
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1389
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1390
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1391
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1392
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1393
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1394
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1395
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1396
STARTCHAR a
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1397
ENCODING 97
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1398
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1399
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1400
BBX 12 11 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1401
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1402
3f00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1403
7f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1404
61c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1405
00c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1406
1fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1407
7fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1408
e0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1409
c0c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1410
c1c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1411
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1412
7ef0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1413
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1414
STARTCHAR b
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1415
ENCODING 98
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1416
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1417
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1418
BBX 13 16 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1419
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1420
f000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1421
f000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1422
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1423
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1424
3000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1425
37c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1426
3ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1427
3c70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1428
3838
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1429
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1430
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1431
3018
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1432
3838
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1433
3c70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1434
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1435
f7c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1436
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1437
STARTCHAR c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1438
ENCODING 99
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1439
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1440
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1441
BBX 13 11 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1442
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1443
1fb0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1444
7ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1445
70f0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1446
e070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1447
c030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1448
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1449
c000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1450
e000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1451
7038
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1452
7ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1453
1fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1454
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1455
STARTCHAR d
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1456
ENCODING 100
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1457
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1458
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1459
BBX 13 16 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1460
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1461
01e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1462
01e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1463
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1464
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1465
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1466
1f60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1467
7fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1468
71e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1469
e0e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1470
c060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1471
c060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1472
c060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1473
e0e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1474
71e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1475
7ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1476
1f78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1477
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1478
STARTCHAR e
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1479
ENCODING 101
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1480
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1481
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1482
BBX 12 11 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1483
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1484
1f80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1485
7fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1486
70e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1487
e070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1488
c030
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1489
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1490
fff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1491
e000
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1492
7070
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1493
7ff0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1494
1fc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1495
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1496
STARTCHAR f
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1497
ENCODING 102
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1498
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1499
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1500
BBX 11 16 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1501
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1502
07e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1503
0fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1504
1c00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1505
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1506
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1507
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1508
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1509
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1510
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1511
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1512
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1513
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1514
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1515
1800
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1516
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1517
ffc0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1518
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1519
STARTCHAR g
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1520
ENCODING 103
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1521
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1522
DWIDTH 15 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1523
BBX 13 16 1 -5
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1524
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1525
1f78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1526
7ff8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1527
71e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1528
e0e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1529
c060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1530
c060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1531
c060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1532
e0e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1533
71e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1534
7fe0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1535
1f60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1536
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1537
0060
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff