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