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