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