lib/fonts/IsabelleTextBold.sfd
author blanchet
Fri, 18 Oct 2013 10:43:20 +0200
changeset 54147 97a8ff4e4ac9
parent 53175 4834c2df9995
child 55015 e33c5bd729ff
permissions -rw-r--r--
killed most "no_atp", to make Sledgehammer more complete
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33987
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
     1
SplineFontDB: 3.0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
     2
FontName: IsabelleTextBold
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
     3
FullName: IsabelleTextBold
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
     4
FamilyName: IsabelleText
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
     5
Weight: Bold
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
     6
Copyright: 
34882
7ad1189d54ca rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
wenzelm
parents: 33987
diff changeset
     7
Version: Release 1.10
33987
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
     8
ItalicAngle: 0
34882
7ad1189d54ca rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
wenzelm
parents: 33987
diff changeset
     9
UnderlinePosition: -98
33987
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    10
UnderlineWidth: 246
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    11
Ascent: 1556
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    12
Descent: 492
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    13
LayerCount: 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    14
Layer: 0 1 "Back"  1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    15
Layer: 1 1 "Fore"  0
34882
7ad1189d54ca rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
wenzelm
parents: 33987
diff changeset
    16
XUID: [1021 906 1711068302 7174760]
33987
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    17
FSType: 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    18
OS2Version: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    19
OS2_WeightWidthSlopeOnly: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    20
OS2_UseTypoMetrics: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    21
CreationTime: 1050374980
53175
4834c2df9995 more faithful representation of U+2983 and U+2984 as "white" curly braces -- based on braces and bar from cmsy10.pfb;
wenzelm
parents: 53132
diff changeset
    22
ModificationTime: 1377295361
33987
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    23
PfmFamily: 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    24
TTFWeight: 700
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    25
TTFWidth: 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    26
LineGap: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    27
VLineGap: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    28
Panose: 2 11 7 9 3 6 4 2 2 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    29
OS2TypoAscent: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    30
OS2TypoAOffset: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    31
OS2TypoDescent: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    32
OS2TypoDOffset: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    33
OS2TypoLinegap: 410
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    34
OS2WinAscent: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    35
OS2WinAOffset: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    36
OS2WinDescent: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    37
OS2WinDOffset: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    38
HheadAscent: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    39
HheadAOffset: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    40
HheadDescent: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    41
HheadDOffset: 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    42
OS2SubXSize: 1351
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    43
OS2SubYSize: 1228
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    44
OS2SubXOff: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    45
OS2SubYOff: -446
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    46
OS2SupXSize: 1351
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    47
OS2SupYSize: 1228
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    48
OS2SupXOff: 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    49
OS2SupYOff: 595
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    50
OS2StrikeYSize: 246
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    51
OS2StrikeYPos: 614
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    52
OS2FamilyClass: 2050
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    53
OS2Vendor: 'Bits'
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    54
OS2CodePages: 00000001.00000000
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    55
OS2UnicodeRanges: 800000af.1000204a.00000000.00000000
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    56
DEI: 91125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    57
TtTable: prep
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    58
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    59
 640
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    60
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    61
 116
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    62
 190
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    63
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    64
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    65
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    66
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    67
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    68
 186
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    69
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    70
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    71
 185
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    72
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    73
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    74
 183
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    75
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    76
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    77
 182
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    78
 181
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    79
 71
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    80
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    81
 182
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    82
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    83
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    84
 181
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    85
 71
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    86
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    87
 180
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    88
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    89
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    90
 179
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    91
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    92
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    93
 178
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    94
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    95
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    96
 177
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    97
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    98
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
    99
 176
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   100
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   101
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   102
 175
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   103
 174
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   104
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   105
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   106
 175
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   107
 107
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   108
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   109
 174
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   110
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   111
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   112
 172
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   113
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   114
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   115
 171
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   116
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   117
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   118
 170
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   119
 169
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   120
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   121
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   122
 170
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   123
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   124
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   125
 169
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   126
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   127
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   128
 168
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   129
 167
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   130
 140
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   131
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   132
 168
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   133
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   134
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   135
 168
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   136
 192
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   137
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   138
 167
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   139
 166
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   140
 89
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   141
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   142
 167
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   143
 140
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   144
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   145
 167
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   146
 128
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   147
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   148
 166
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   149
 165
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   150
 38
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   151
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   152
 166
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   153
 89
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   154
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   155
 166
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   156
 64
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   157
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   158
 165
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   159
 38
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   160
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   161
 164
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   162
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   163
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   164
 163
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   165
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   166
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   167
 162
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   168
 21
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   169
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   170
 161
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   171
 160
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   172
 71
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   173
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   174
 161
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   175
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   176
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   177
 161
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   178
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   179
 -47
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   180
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   181
 255
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   182
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   183
 160
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   184
 159
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   185
 65
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   186
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   187
 160
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   188
 71
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   189
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   190
 159
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   191
 65
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   192
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   193
 158
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   194
 157
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   195
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   196
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   197
 158
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   198
 107
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   199
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   200
 157
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   201
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   202
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   203
 156
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   204
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   205
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   206
 155
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   207
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   208
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   209
 154
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   210
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   211
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   212
 153
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   213
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   214
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   215
 152
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   216
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   217
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   218
 151
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   219
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   220
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   221
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   222
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   223
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   224
 147
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   225
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   226
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   227
 146
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   228
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   229
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   230
 145
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   231
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   232
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   233
 144
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   234
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   235
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   236
 143
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   237
 101
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   238
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   239
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   240
 143
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   241
 125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   242
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   243
 142
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   244
 141
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   245
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   246
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   247
 142
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   248
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   249
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   250
 141
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   251
 140
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   252
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   253
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   254
 141
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   255
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   256
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   257
 140
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   258
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   259
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   260
 139
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   261
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   262
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   263
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   264
 139
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   265
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   266
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   267
 138
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   268
 12
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   269
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   270
 137
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   271
 136
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   272
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   273
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   274
 137
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   275
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   276
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   277
 136
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   278
 135
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   279
 93
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   280
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   281
 136
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   282
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   283
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   284
 136
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   285
 128
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   286
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   287
 135
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   288
 134
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   289
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   290
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   291
 135
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   292
 93
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   293
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   294
 135
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   295
 64
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   296
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   297
 134
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   298
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   299
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   300
 133
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   301
 132
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   302
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   303
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   304
 133
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   305
 25
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   306
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   307
 132
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   308
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   309
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   310
 131
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   311
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   312
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   313
 130
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   314
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   315
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   316
 129
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   317
 101
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   318
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   319
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   320
 129
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   321
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   322
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   323
 128
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   324
 127
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   325
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   326
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   327
 128
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   328
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   329
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   330
 127
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   331
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   332
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   333
 126
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   334
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   335
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   336
 125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   337
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   338
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   339
 124
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   340
 83
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   341
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   342
 123
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   343
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   344
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   345
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   346
 123
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   347
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   348
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   349
 122
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   350
 101
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   351
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   352
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   353
 122
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   354
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   355
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   356
 121
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   357
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   358
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   359
 120
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   360
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   361
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   362
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   363
 120
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   364
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   365
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   366
 119
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   367
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   368
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   369
 118
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   370
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   371
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   372
 116
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   373
 115
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   374
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   375
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   376
 115
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   377
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   378
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   379
 114
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   380
 113
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   381
 46
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   382
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   383
 114
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   384
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   385
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   386
 113
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   387
 46
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   388
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   389
 112
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   390
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   391
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   392
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   393
 112
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   394
 125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   395
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   396
 111
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   397
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   398
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   399
 110
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   400
 109
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   401
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   402
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   403
 110
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   404
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   405
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   406
 109
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   407
 108
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   408
 93
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   409
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   410
 109
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   411
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   412
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   413
 109
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   414
 128
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   415
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   416
 108
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   417
 105
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   418
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   419
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   420
 108
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   421
 93
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   422
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   423
 108
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   424
 64
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   425
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   426
 107
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   427
 107
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   428
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   429
 106
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   430
 105
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   431
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   432
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   433
 106
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   434
 187
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   435
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   436
 105
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   437
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   438
 255
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   439
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   440
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   441
 104
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   442
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   443
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   444
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   445
 104
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   446
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   447
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   448
 103
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   449
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   450
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   451
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   452
 103
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   453
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   454
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   455
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   456
 101
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   457
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   458
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   459
 102
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   460
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   461
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   462
 101
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   463
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   464
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   465
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   466
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   467
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   468
 99
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   469
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   470
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   471
 98
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   472
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   473
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   474
 97
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   475
 125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   476
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   477
 96
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   478
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   479
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   480
 94
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   481
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   482
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   483
 92
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   484
 91
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   485
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   486
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   487
 92
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   488
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   489
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   490
 91
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   491
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   492
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   493
 90
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   494
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   495
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   496
 89
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   497
 45
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   498
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   499
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   500
 89
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   501
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   502
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   503
 88
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   504
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   505
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   506
 87
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   507
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   508
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   509
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   510
 87
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   511
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   512
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   513
 86
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   514
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   515
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   516
 85
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   517
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   518
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   519
 84
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   520
 83
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   521
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   522
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   523
 84
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   524
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   525
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   526
 83
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   527
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   528
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   529
 82
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   530
 81
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   531
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   532
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   533
 82
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   534
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   535
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   536
 81
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   537
 80
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   538
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   539
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   540
 81
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   541
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   542
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   543
 80
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   544
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   545
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   546
 79
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   547
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   548
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   549
 78
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   550
 77
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   551
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   552
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   553
 78
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   554
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   555
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   556
 77
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   557
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   558
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   559
 76
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   560
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   561
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   562
 75
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   563
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   564
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   565
 74
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   566
 73
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   567
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   568
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   569
 74
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   570
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   571
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   572
 73
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   573
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   574
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   575
 72
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   576
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   577
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   578
 71
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   579
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   580
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   581
 70
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   582
 125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   583
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   584
 69
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   585
 68
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   586
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   587
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   588
 69
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   589
 125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   590
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   591
 68
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   592
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   593
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   594
 67
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   595
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   596
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   597
 65
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   598
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   599
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   600
 63
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   601
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   602
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   603
 62
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   604
 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   605
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   606
 61
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   607
 60
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   608
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   609
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   610
 61
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   611
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   612
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   613
 60
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   614
 59
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   615
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   616
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   617
 60
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   618
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   619
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   620
 59
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   621
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   622
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   623
 58
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   624
 57
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   625
 23
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   626
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   627
 58
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   628
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   629
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   630
 57
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   631
 56
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   632
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   633
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   634
 57
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   635
 23
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   636
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   637
 57
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   638
 128
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   639
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   640
 56
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   641
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   642
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   643
 56
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   644
 64
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   645
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   646
 55
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   647
 54
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   648
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   649
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   650
 55
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   651
 55
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   652
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   653
 54
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   654
 45
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   655
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   656
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   657
 54
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   658
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   659
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   660
 53
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   661
 52
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   662
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   663
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   664
 53
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   665
 75
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   666
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   667
 52
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   668
 51
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   669
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   670
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   671
 52
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   672
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   673
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   674
 51
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   675
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   676
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   677
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   678
 49
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   679
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   680
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   681
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   682
 100
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   683
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   684
 49
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   685
 45
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   686
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   687
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   688
 49
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   689
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   690
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   691
 48
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   692
 47
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   693
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   694
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   695
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   696
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   697
 48
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   698
 68
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   699
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   700
 47
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   701
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   702
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   703
 46
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   704
 45
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   705
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   706
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   707
 46
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   708
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   709
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   710
 45
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   711
 44
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   712
 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   713
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   714
 45
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   715
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   716
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   717
 45
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   718
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   719
 576
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   720
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   721
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   722
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   723
 44
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   724
 43
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   725
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   726
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   727
 44
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   728
 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   729
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   730
 44
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   731
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   732
 512
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   733
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   734
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   735
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   736
 43
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   737
 42
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   738
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   739
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   740
 43
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   741
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   742
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   743
 43
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   744
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   745
 448
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   746
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   747
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   748
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   749
 42
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   750
 6
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   751
 10
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   752
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   753
 42
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   754
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   755
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   756
 42
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   757
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   758
 384
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   759
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   760
 87
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   761
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   762
 41
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   763
 75
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   764
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   765
 40
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   766
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   767
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   768
 39
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   769
 75
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   770
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   771
 38
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   772
 36
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   773
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   774
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   775
 38
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   776
 36
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   777
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   778
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   779
 36
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   780
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   781
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   782
 37
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   783
 75
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   784
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   785
 36
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   786
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   787
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   788
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   789
 36
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   790
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   791
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   792
 35
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   793
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   794
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   795
 34
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   796
 28
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   797
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   798
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   799
 34
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   800
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   801
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   802
 33
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   803
 32
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   804
 52
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   805
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   806
 33
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   807
 62
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   808
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   809
 32
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   810
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   811
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   812
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   813
 32
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   814
 52
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   815
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   816
 31
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   817
 27
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   818
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   819
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   820
 31
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   821
 26
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   822
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   823
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   824
 27
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   825
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   826
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   827
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   828
 254
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   829
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   830
 29
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   831
 28
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   832
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   833
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   834
 29
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   835
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   836
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   837
 28
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   838
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   839
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   840
 27
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   841
 26
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   842
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   843
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   844
 27
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   845
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   846
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   847
 27
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   848
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   849
 640
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   850
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   851
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   852
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   853
 26
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   854
 25
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   855
 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   856
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   857
 26
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   858
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   859
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   860
 26
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   861
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   862
 576
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   863
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   864
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   865
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   866
 25
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   867
 8
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   868
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   869
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   870
 25
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   871
 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   872
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   873
 25
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   874
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   875
 512
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   876
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   877
 87
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   878
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   879
 24
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   880
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   881
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   882
 23
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   883
 75
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   884
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   885
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   886
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   887
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   888
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   889
 22
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   890
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   891
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   892
 21
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   893
 55
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   894
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   895
 20
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   896
 55
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   897
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   898
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   899
 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   900
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   901
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   902
 19
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   903
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   904
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   905
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   906
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   907
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   908
 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   909
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   910
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   911
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   912
 17
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   913
 250
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   914
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   915
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   916
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   917
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   918
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   919
 16
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   920
 50
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   921
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   922
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   923
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   924
 88
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   925
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   926
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   927
 125
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   928
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   929
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   930
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   931
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   932
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   933
 14
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   934
 88
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   935
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   936
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   937
 8
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   938
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   939
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   940
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   941
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   942
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   943
 12
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   944
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   945
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   946
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   947
 12
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   948
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   949
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   950
 11
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   951
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   952
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   953
 10
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   954
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   955
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   956
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   957
 8
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   958
 7
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   959
 12
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   960
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   961
 8
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   962
 15
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   963
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   964
 8
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   965
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   966
 448
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   967
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   968
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   969
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   970
 7
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   971
 6
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   972
 10
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   973
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   974
 7
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   975
 12
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   976
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   977
 7
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   978
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   979
 384
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   980
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   981
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   982
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   983
 6
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   984
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   985
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   986
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   987
 6
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   988
 10
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   989
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   990
 6
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   991
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   992
 320
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   993
PUSHB_5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   994
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   995
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   996
 9
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   997
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   998
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
   999
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1000
 256
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1001
NPUSHB
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1002
 25
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1003
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1004
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1005
 150
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1006
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1007
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1008
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1009
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1010
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1011
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1012
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1013
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1014
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1015
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1016
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1017
 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1018
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1019
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1020
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1021
 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1022
 30
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1023
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1024
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1025
 18
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1026
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1027
 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1028
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1029
 356
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1030
SCANCTRL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1031
SCANTYPE
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1032
SVTCA[x-axis]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1033
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1034
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1035
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1036
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1037
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1038
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1039
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1040
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1041
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1042
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1043
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1044
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1045
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1046
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1047
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1048
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1049
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1050
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1051
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1052
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1053
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1054
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1055
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1056
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1057
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1058
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1059
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1060
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1061
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1062
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1063
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1064
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1065
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1066
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1067
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1068
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1069
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1070
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1071
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1072
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1073
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1074
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1075
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1076
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1077
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1078
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1079
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1080
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1081
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1082
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1083
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1084
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1085
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1086
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1087
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1088
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1089
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1090
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1091
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1092
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1093
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1094
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1095
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1096
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1097
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1098
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1099
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1100
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1101
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1102
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1103
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1104
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1105
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1106
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1107
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1108
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1109
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1110
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1111
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1112
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1113
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1114
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1115
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1116
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1117
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1118
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1119
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1120
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1121
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1122
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1123
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1124
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1125
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1126
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1127
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1128
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1129
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1130
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1131
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1132
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1133
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1134
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1135
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1136
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1137
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1138
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1139
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1140
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1141
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1142
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1143
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1144
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1145
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1146
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1147
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1148
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1149
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1150
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1151
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1152
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1153
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1154
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1155
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1156
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1157
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1158
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1159
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1160
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1161
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1162
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1163
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1164
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1165
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1166
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1167
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1168
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1169
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1170
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1171
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1172
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1173
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1174
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1175
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1176
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1177
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1178
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1179
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1180
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1181
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1182
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1183
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1184
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1185
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1186
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1187
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1188
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1189
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1190
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1191
SVTCA[y-axis]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1192
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1193
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1194
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1195
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1196
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1197
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1198
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1199
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1200
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1201
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1202
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1203
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1204
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1205
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1206
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1207
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1208
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1209
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1210
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1211
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1212
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1213
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1214
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1215
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1216
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1217
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1218
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1219
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1220
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1221
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1222
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1223
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1224
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1225
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1226
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1227
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1228
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1229
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1230
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1231
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1232
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1233
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1234
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1235
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1236
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1237
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1238
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1239
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1240
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1241
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1242
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1243
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1244
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1245
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1246
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1247
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1248
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1249
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1250
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1251
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1252
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1253
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1254
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1255
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1256
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1257
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1258
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1259
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1260
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1261
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1262
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1263
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1264
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1265
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1266
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1267
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1268
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1269
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1270
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1271
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1272
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1273
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1274
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1275
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1276
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1277
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1278
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1279
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1280
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1281
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1282
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1283
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1284
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1285
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1286
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1287
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1288
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1289
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1290
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1291
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1292
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1293
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1294
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1295
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1296
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1297
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1298
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1299
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1300
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1301
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1302
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1303
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1304
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1305
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1306
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1307
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1308
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1309
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1310
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1311
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1312
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1313
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1314
CALL
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1315
SCVTCI
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1316
EndTTInstrs
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1317
TtTable: fpgm
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1318
PUSHB_7
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1319
 6
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1320
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1321
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1322
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1323
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1324
 1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1325
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1326
FDEF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1327
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1328
SRP0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1329
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1330
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1331
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1332
MD[grid]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1333
ABS
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1334
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1335
 64
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1336
LTEQ
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1337
IF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1338
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1339
MDRP[min,grey]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1340
EIF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1341
POP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1342
ENDF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1343
FDEF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1344
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1345
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1346
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1347
MD[grid]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1348
ABS
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1349
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1350
 64
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1351
LTEQ
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1352
IF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1353
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1354
MDRP[min,grey]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1355
EIF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1356
POP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1357
ENDF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1358
FDEF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1359
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1360
SRP0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1361
SPVTL[orthog]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1362
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1363
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1364
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1365
LT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1366
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1367
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1368
JROF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1369
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1370
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1371
 -1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1372
LT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1373
IF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1374
SFVTCA[y-axis]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1375
ELSE
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1376
SFVTCA[x-axis]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1377
EIF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1378
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1379
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1380
JMPR
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1381
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1382
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1383
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1384
SFVTL[parallel]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1385
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1386
 4
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1387
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1388
SWAP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1389
MIRP[black]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1390
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1391
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1392
 0
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1393
LT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1394
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1395
 13
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1396
JROF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1397
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1398
PUSHW_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1399
 -1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1400
LT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1401
IF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1402
SFVTCA[y-axis]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1403
ELSE
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1404
SFVTCA[x-axis]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1405
EIF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1406
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1407
 5
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1408
JMPR
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1409
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1410
 3
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1411
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1412
SFVTL[parallel]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1413
MIRP[black]
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1414
ENDF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1415
FDEF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1416
MPPEM
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1417
LT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1418
IF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1419
DUP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1420
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1421
 192
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1422
RCVT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1423
WCVTP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1424
EIF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1425
POP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1426
ENDF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1427
FDEF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1428
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1429
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1430
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1431
RCVT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1432
ADD
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1433
WCVTP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1434
ENDF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1435
FDEF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1436
MPPEM
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1437
GTEQ
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1438
IF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1439
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1440
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1441
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1442
PUSHB_1
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1443
 2
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1444
CINDEX
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1445
RCVT
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1446
WCVTP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1447
EIF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1448
POP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1449
POP
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1450
ENDF
a2c98dc60ba7 version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera;
wenzelm
parents:
diff changeset
  1451
FDEF
a2c98dc60ba7 version of Is