author  wenzelm 
Fri, 16 Jul 1999 22:24:42 +0200  
changeset 7024  44bd3c094fd6 
parent 6281  25d41c118304 
permissions  rwrr 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1 
STARTFONT 2.1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

2 
FONT isabellefixedmediumrnormal141407575m90isabelle0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

3 
SIZE 14 75 75 
3064  4 
FONTBOUNDINGBOX 10 14 4 3 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

5 
STARTPROPERTIES 22 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

6 
FONTNAME_REGISTRY "" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

7 
FOUNDRY "Isabelle" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

8 
FAMILY_NAME "Fixed" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

9 
WEIGHT_NAME "Medium" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

10 
SLANT "R" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

11 
SETWIDTH_NAME "Normal" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

12 
ADD_STYLE_NAME "" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

13 
PIXEL_SIZE 14 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

14 
POINT_SIZE 140 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

15 
RESOLUTION_X 75 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

16 
RESOLUTION_Y 75 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

17 
SPACING "M" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

18 
AVERAGE_WIDTH 90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

19 
CHARSET_REGISTRY "Isabelle" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

20 
CHARSET_ENCODING "0" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

21 
CHARSET_COLLECTIONS "" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

22 
FULL_NAME "Fixed" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

23 
COPYRIGHT "Public" 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

24 
FONT_ASCENT 11 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

25 
FONT_DESCENT 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

26 
CAP_HEIGHT 9 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

27 
X_HEIGHT 7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

28 
ENDPROPERTIES 
3064  29 
CHARS 206 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

30 
STARTCHAR space 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

31 
ENCODING 32 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

32 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

33 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

34 
BBX 1 1 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

35 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

36 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

37 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

38 
STARTCHAR exclam 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

39 
ENCODING 33 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

40 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

41 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

42 
BBX 1 10 3 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

43 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

44 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

45 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

46 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

47 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

48 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

49 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

50 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

51 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

52 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

53 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

54 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

55 
STARTCHAR quotedbl 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

56 
ENCODING 34 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

57 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

58 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

59 
BBX 4 4 2 5 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

60 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

61 
90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

62 
90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

63 
90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

64 
90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

65 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

66 
STARTCHAR numbersign 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

67 
ENCODING 35 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

68 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

69 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

70 
BBX 5 9 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

71 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

72 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

73 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

74 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

75 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

76 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

77 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

78 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

79 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

80 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

81 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

82 
STARTCHAR dollar 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

83 
ENCODING 36 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

84 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

85 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

86 
BBX 5 13 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

87 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

88 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

89 
20 
2758  90 
70 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

91 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

92 
80 
2758  93 
40 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

94 
30 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

95 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

96 
88 
2758  97 
70 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

98 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

99 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

100 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

101 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

102 
STARTCHAR percent 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

103 
ENCODING 37 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

104 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

105 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

106 
BBX 7 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

107 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

108 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

109 
90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

110 
90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

111 
66 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

112 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

113 
30 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

114 
cc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

115 
12 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

116 
12 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

117 
0c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

118 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

119 
STARTCHAR ampersand 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

120 
ENCODING 38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

121 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

122 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

123 
BBX 6 8 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

124 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

125 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

126 
48 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

127 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

128 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

129 
a8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

130 
90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

131 
98 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

132 
64 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

133 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

134 
STARTCHAR quoteright 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

135 
ENCODING 39 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

136 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

137 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

138 
BBX 3 4 2 5 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

139 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

140 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

141 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

142 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

143 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

144 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

145 
STARTCHAR parenleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

146 
ENCODING 40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

147 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

148 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

149 
BBX 3 12 3 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

150 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

151 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

152 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

153 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

154 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

155 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

156 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

157 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

158 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

159 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

160 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

161 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

162 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

163 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

164 
STARTCHAR parenright 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

165 
ENCODING 41 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

166 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

167 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

168 
BBX 3 12 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

169 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

170 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

171 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

172 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

173 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

174 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

175 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

176 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

177 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

178 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

179 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

180 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

181 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

182 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

183 
STARTCHAR asterisk 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

184 
ENCODING 42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

185 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

186 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

187 
BBX 5 6 1 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

188 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

189 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

190 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

191 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

192 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

193 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

194 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

195 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

196 
STARTCHAR plus 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

197 
ENCODING 43 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

198 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

199 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

200 
BBX 7 7 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

201 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

202 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

203 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

204 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

205 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

206 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

207 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

208 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

209 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

210 
STARTCHAR comma 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

211 
ENCODING 44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

212 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

213 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

214 
BBX 3 4 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

215 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

216 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

217 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

218 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

219 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

220 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

221 
STARTCHAR minus 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

222 
ENCODING 45 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

223 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

224 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

225 
BBX 7 1 1 4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

226 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

227 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

228 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

229 
STARTCHAR period 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

230 
ENCODING 46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

231 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

232 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

233 
BBX 2 2 3 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

234 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

235 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

236 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

237 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

238 
STARTCHAR slash 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

239 
ENCODING 47 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

240 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

241 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

242 
BBX 6 11 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

243 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

244 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

245 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

246 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

247 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

248 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

249 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

250 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

251 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

252 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

253 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

254 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

255 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

256 
STARTCHAR zero 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

257 
ENCODING 48 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

258 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

259 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

260 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

261 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

262 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

263 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

264 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

265 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

266 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

267 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

268 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

269 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

270 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

271 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

272 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

273 
STARTCHAR one 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

274 
ENCODING 49 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

275 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

276 
DWIDTH 9 0 
2758  277 
BBX 4 10 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

278 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

279 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

280 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

281 
a0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

282 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

283 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

284 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

285 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

286 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

287 
20 
2758  288 
70 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

289 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

290 
STARTCHAR two 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

291 
ENCODING 50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

292 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

293 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

294 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

295 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

296 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

297 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

298 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

299 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

300 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

301 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

302 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

303 
40 
2758  304 
80 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

305 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

306 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

307 
STARTCHAR three 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

308 
ENCODING 51 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

309 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

310 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

311 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

312 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

313 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

314 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

315 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

316 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

317 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

318 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

319 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

320 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

321 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

322 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

323 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

324 
STARTCHAR four 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

325 
ENCODING 52 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

326 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

327 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

328 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

329 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

330 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

331 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

332 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

333 
48 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

334 
48 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

335 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

336 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

337 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

338 
08 
2758  339 
08 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

340 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

341 
STARTCHAR five 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

342 
ENCODING 53 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

343 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

344 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

345 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

346 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

347 
7c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

348 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

349 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

350 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

351 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

352 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

353 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

354 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

355 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

356 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

357 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

358 
STARTCHAR six 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

359 
ENCODING 54 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

360 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

361 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

362 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

363 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

364 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

365 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

366 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

367 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

368 
b8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

369 
c4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

370 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

371 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

372 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

373 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

374 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

375 
STARTCHAR seven 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

376 
ENCODING 55 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

377 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

378 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

379 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

380 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

381 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

382 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

383 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

384 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

385 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

386 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

387 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

388 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

389 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

390 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

391 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

392 
STARTCHAR eight 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

393 
ENCODING 56 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

394 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

395 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

396 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

397 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

398 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

399 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

400 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

401 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

402 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

403 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

404 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

405 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

406 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

407 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

408 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

409 
STARTCHAR nine 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

410 
ENCODING 57 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

411 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

412 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

413 
BBX 6 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

414 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

415 
70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

416 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

417 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

418 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

419 
8c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

420 
74 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

421 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

422 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

423 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

424 
70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

425 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

426 
STARTCHAR colon 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

427 
ENCODING 58 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

428 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

429 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

430 
BBX 2 7 3 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

431 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

432 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

433 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

434 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

435 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

436 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

437 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

438 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

439 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

440 
STARTCHAR semicolon 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

441 
ENCODING 59 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

442 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

443 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

444 
BBX 3 9 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

445 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

446 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

447 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

448 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

449 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

450 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

451 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

452 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

453 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

454 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

455 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

456 
STARTCHAR less 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

457 
ENCODING 60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

458 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

459 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

460 
BBX 7 7 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

461 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

462 
06 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

463 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

464 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

465 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

466 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

467 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

468 
06 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

469 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

470 
STARTCHAR equal 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

471 
ENCODING 61 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

472 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

473 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

474 
BBX 7 3 1 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

475 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

476 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

477 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

478 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

479 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

480 
STARTCHAR greater 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

481 
ENCODING 62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

482 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

483 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

484 
BBX 7 7 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

485 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

486 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

487 
30 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

488 
0c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

489 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

490 
0c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

491 
30 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

492 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

493 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

494 
STARTCHAR question 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

495 
ENCODING 63 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

496 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

497 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

498 
BBX 5 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

499 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

500 
70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

501 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

502 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

503 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

504 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

505 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

506 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

507 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

508 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

509 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

510 
STARTCHAR at 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

511 
ENCODING 64 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

512 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

513 
DWIDTH 9 0 
2758  514 
BBX 6 10 1 1 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

515 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

516 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

517 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

518 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

519 
9c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

520 
a4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

521 
a4 
2758  522 
9c 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

523 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

524 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

525 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

526 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

527 
STARTCHAR A 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

528 
ENCODING 65 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

529 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

530 
DWIDTH 9 0 
2758  531 
BBX 7 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

532 
BITMAP 
2758  533 
10 
534 
10 

535 
28 

536 
28 

537 
44 

538 
7c 

539 
82 

540 
82 

541 
82 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

542 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

543 
STARTCHAR B 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

544 
ENCODING 66 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

545 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

546 
DWIDTH 9 0 
2758  547 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

548 
BITMAP 
2758  549 
f8 
550 
84 

551 
84 

552 
84 

553 
f8 

554 
84 

555 
84 

556 
84 

557 
f8 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

558 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

559 
STARTCHAR C 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

560 
ENCODING 67 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

561 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

562 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

563 
BBX 7 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

564 
BITMAP 
2758  565 
3c 
566 
42 

567 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

568 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

569 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

570 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

571 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

572 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

573 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

574 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

575 
STARTCHAR D 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

576 
ENCODING 68 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

577 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

578 
DWIDTH 9 0 
2758  579 
BBX 7 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

580 
BITMAP 
2758  581 
f8 
582 
84 

583 
82 

584 
82 

585 
82 

586 
82 

587 
82 

588 
84 

589 
f8 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

590 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

591 
STARTCHAR E 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

592 
ENCODING 69 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

593 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

594 
DWIDTH 9 0 
2758  595 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

596 
BITMAP 
2758  597 
fc 
598 
80 

599 
80 

600 
80 

601 
f0 

602 
80 

603 
80 

604 
80 

605 
fc 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

606 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

607 
STARTCHAR F 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

608 
ENCODING 70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

609 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

610 
DWIDTH 9 0 
2758  611 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

612 
BITMAP 
2758  613 
fc 
614 
80 

615 
80 

616 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

617 
f0 
2758  618 
80 
619 
80 

620 
80 

621 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

622 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

623 
STARTCHAR G 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

624 
ENCODING 71 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

625 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

626 
DWIDTH 9 0 
2758  627 
BBX 7 9 0 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

628 
BITMAP 
2758  629 
3c 
630 
42 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

631 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

632 
80 
2758  633 
80 
634 
8e 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

635 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

636 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

637 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

638 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

639 
STARTCHAR H 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

640 
ENCODING 72 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

641 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

642 
DWIDTH 9 0 
2758  643 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

644 
BITMAP 
2758  645 
84 
646 
84 

647 
84 

648 
84 

649 
fc 

650 
84 

651 
84 

652 
84 

653 
84 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

654 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

655 
STARTCHAR I 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

656 
ENCODING 73 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

657 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

658 
DWIDTH 9 0 
2758  659 
BBX 3 9 2 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

660 
BITMAP 
2758  661 
e0 
662 
40 

663 
40 

664 
40 

665 
40 

666 
40 

667 
40 

668 
40 

669 
e0 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

670 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

671 
STARTCHAR J 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

672 
ENCODING 74 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

673 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

674 
DWIDTH 9 0 
2758  675 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

676 
BITMAP 
2758  677 
1c 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

678 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

679 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

680 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

681 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

682 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

683 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

684 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

685 
70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

686 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

687 
STARTCHAR K 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

688 
ENCODING 75 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

689 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

690 
DWIDTH 9 0 
2758  691 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

692 
BITMAP 
2758  693 
84 
694 
88 

695 
90 

696 
a0 

697 
e0 

698 
90 

699 
88 

700 
88 

701 
84 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

702 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

703 
STARTCHAR L 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

704 
ENCODING 76 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

705 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

706 
DWIDTH 9 0 
2758  707 
BBX 7 9 0 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

708 
BITMAP 
2758  709 
e0 
710 
40 

711 
40 

712 
40 

713 
40 

714 
40 

715 
40 

716 
42 

717 
7e 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

718 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

719 
STARTCHAR M 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

720 
ENCODING 77 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

721 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

722 
DWIDTH 9 0 
2758  723 
BBX 7 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

724 
BITMAP 
2758  725 
c6 
726 
c6 

727 
aa 

728 
aa 

729 
92 

730 
92 

731 
82 

732 
82 

733 
82 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

734 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

735 
STARTCHAR N 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

736 
ENCODING 78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

737 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

738 
DWIDTH 9 0 
2758  739 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

740 
BITMAP 
2758  741 
c4 
742 
c4 

743 
a4 

744 
a4 

745 
94 

746 
94 

747 
8c 

748 
8c 

749 
84 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

750 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

751 
STARTCHAR O 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

752 
ENCODING 79 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

753 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

754 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

755 
BBX 8 9 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

756 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

757 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

758 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

759 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

760 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

761 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

762 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

763 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

764 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

765 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

766 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

767 
STARTCHAR P 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

768 
ENCODING 80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

769 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

770 
DWIDTH 9 0 
2758  771 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

772 
BITMAP 
2758  773 
f8 
774 
84 

775 
84 

776 
84 

777 
84 

778 
f8 

779 
80 

780 
80 

781 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

782 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

783 
STARTCHAR Q 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

784 
ENCODING 81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

785 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

786 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

787 
BBX 8 11 0 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

788 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

789 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

790 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

791 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

792 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

793 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

794 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

795 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

796 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

797 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

798 
31 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

799 
5e 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

800 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

801 
STARTCHAR R 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

802 
ENCODING 82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

803 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

804 
DWIDTH 9 0 
2758  805 
BBX 7 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

806 
BITMAP 
2758  807 
f8 
808 
84 

809 
84 

810 
84 

811 
88 

812 
f0 

813 
88 

814 
84 

815 
82 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

816 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

817 
STARTCHAR S 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

818 
ENCODING 83 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

819 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

820 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

821 
BBX 6 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

822 
BITMAP 
2758  823 
78 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

824 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

825 
80 
2758  826 
80 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

827 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

828 
04 
2758  829 
04 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

830 
84 
2758  831 
78 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

832 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

833 
STARTCHAR T 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

834 
ENCODING 84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

835 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

836 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

837 
BBX 7 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

838 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

839 
fe 
3064  840 
92 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

841 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

842 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

843 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

844 
10 
2758  845 
10 
846 
10 

847 
10 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

848 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

849 
STARTCHAR U 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

850 
ENCODING 85 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

851 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

852 
DWIDTH 9 0 
2758  853 
BBX 6 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

854 
BITMAP 
2758  855 
84 
856 
84 

857 
84 

858 
84 

859 
84 

860 
84 

861 
84 

862 
84 

863 
78 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

864 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

865 
STARTCHAR V 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

866 
ENCODING 86 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

867 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

868 
DWIDTH 9 0 
2758  869 
BBX 7 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

870 
BITMAP 
2758  871 
82 
872 
82 

873 
82 

874 
44 

875 
44 

876 
28 

877 
28 

878 
10 

879 
10 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

880 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

881 
STARTCHAR W 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

882 
ENCODING 87 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

883 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

884 
DWIDTH 9 0 
2758  885 
BBX 7 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

886 
BITMAP 
2758  887 
82 
888 
82 

889 
92 

890 
92 

891 
aa 

892 
aa 

893 
44 

894 
44 

895 
44 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

896 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

897 
STARTCHAR X 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

898 
ENCODING 88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

899 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

900 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

901 
BBX 8 9 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

902 
BITMAP 
2758  903 
81 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

904 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

905 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

906 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

907 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

908 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

909 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

910 
42 
2758  911 
81 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

912 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

913 
STARTCHAR Y 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

914 
ENCODING 89 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

915 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

916 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

917 
BBX 7 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

918 
BITMAP 
2758  919 
82 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

920 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

921 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

922 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

923 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

924 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

925 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

926 
10 
2758  927 
10 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

928 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

929 
STARTCHAR Z 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

930 
ENCODING 90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

931 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

932 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

933 
BBX 6 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

934 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

935 
fc 
2758  936 
04 
937 
08 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

938 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

939 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

940 
20 
2758  941 
40 
942 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

943 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

944 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

945 
STARTCHAR bracketleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

946 
ENCODING 91 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

947 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

948 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

949 
BBX 3 12 3 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

950 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

951 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

952 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

953 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

954 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

955 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

956 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

957 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

958 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

959 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

960 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

961 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

962 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

963 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

964 
STARTCHAR backslash 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

965 
ENCODING 92 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

966 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

967 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

968 
BBX 6 11 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

969 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

970 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

971 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

972 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

973 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

974 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

975 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

976 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

977 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

978 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

979 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

980 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

981 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

982 
STARTCHAR bracketright 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

983 
ENCODING 93 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

984 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

985 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

986 
BBX 3 12 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

987 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

988 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

989 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

990 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

991 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

992 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

993 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

994 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

995 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

996 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

997 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

998 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

999 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1000 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1001 
STARTCHAR asciicircum 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1002 
ENCODING 94 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1003 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1004 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1005 
BBX 5 5 2 4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1006 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1007 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1008 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1009 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1010 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1011 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1012 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1013 
STARTCHAR underscore 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1014 
ENCODING 95 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1015 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1016 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1017 
BBX 9 1 0 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1018 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1019 
ff80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1020 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1021 
STARTCHAR quoteleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1022 
ENCODING 96 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1023 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1024 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1025 
BBX 3 4 2 5 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1026 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1027 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1028 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1029 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1030 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1031 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1032 
STARTCHAR a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1033 
ENCODING 97 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1034 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1035 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1036 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1037 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1038 
78 
2758  1039 
04 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1040 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1041 
7c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1042 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1043 
8c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1044 
76 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1045 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1046 
STARTCHAR b 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1047 
ENCODING 98 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1048 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1049 
DWIDTH 9 0 
2758  1050 
BBX 7 10 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1051 
BITMAP 
2758  1052 
80 
1053 
80 

1054 
80 

1055 
b8 

1056 
c4 

1057 
82 

1058 
82 

1059 
82 

1060 
c4 

1061 
b8 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1062 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1063 
STARTCHAR c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1064 
ENCODING 99 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1065 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1066 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1067 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1068 
BITMAP 
2758  1069 
3c 
1070 
42 

1071 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1072 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1073 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1074 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1075 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1076 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1077 
STARTCHAR d 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1078 
ENCODING 100 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1079 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1080 
DWIDTH 9 0 
2758  1081 
BBX 7 10 0 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1082 
BITMAP 
2758  1083 
02 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1084 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1085 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1086 
3a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1087 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1088 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1089 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1090 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1091 
46 
2758  1092 
3a 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1093 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1094 
STARTCHAR e 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1095 
ENCODING 101 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1096 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1097 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1098 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1099 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1100 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1101 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1102 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1103 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1104 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1105 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1106 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1107 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1108 
STARTCHAR f 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1109 
ENCODING 102 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1110 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1111 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1112 
BBX 7 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1113 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1114 
1e 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1115 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1116 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1117 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1118 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1119 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1120 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1121 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1122 
20 
2758  1123 
20 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1124 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1125 
STARTCHAR g 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1126 
ENCODING 103 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1127 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1128 
DWIDTH 9 0 
2758  1129 
BBX 7 10 0 3 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1130 
BITMAP 
2758  1131 
3a 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1132 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1133 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1134 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1135 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1136 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1137 
3a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1138 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1139 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1140 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1141 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1142 
STARTCHAR h 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1143 
ENCODING 104 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1144 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1145 
DWIDTH 9 0 
2758  1146 
BBX 6 10 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1147 
BITMAP 
2758  1148 
80 
1149 
80 

1150 
80 

1151 
b8 

1152 
c4 

1153 
84 

1154 
84 

1155 
84 

1156 
84 

1157 
84 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1158 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1159 
STARTCHAR i 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1160 
ENCODING 105 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1161 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1162 
DWIDTH 9 0 
2758  1163 
BBX 3 10 3 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1164 
BITMAP 
2758  1165 
40 
1166 
40 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1167 
00 
2758  1168 
c0 
1169 
40 

1170 
40 

1171 
40 

1172 
40 

1173 
40 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1174 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1175 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1176 
STARTCHAR j 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1177 
ENCODING 106 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1178 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1179 
DWIDTH 9 0 
2758  1180 
BBX 4 13 1 3 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1181 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1182 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1183 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1184 
00 
2758  1185 
30 
1186 
10 

1187 
10 

1188 
10 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1189 
10 
2758  1190 
10 
1191 
10 

1192 
10 

1193 
20 

1194 
c0 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1195 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1196 
STARTCHAR k 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1197 
ENCODING 107 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1198 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1199 
DWIDTH 9 0 
2758  1200 
BBX 5 9 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1201 
BITMAP 
2758  1202 
80 
1203 
80 

1204 
98 

1205 
90 

1206 
a0 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1207 
c0 
2758  1208 
a0 
1209 
90 

1210 
98 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1211 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1212 
STARTCHAR l 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1213 
ENCODING 108 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1214 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1215 
DWIDTH 9 0 
2758  1216 
BBX 3 9 3 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1217 
BITMAP 
2758  1218 
c0 
1219 
40 

1220 
40 

1221 
40 

1222 
40 

1223 
40 

1224 
40 

1225 
40 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1226 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1227 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1228 
STARTCHAR m 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1229 
ENCODING 109 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1230 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1231 
DWIDTH 9 0 
2758  1232 
BBX 8 7 0 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1233 
BITMAP 
2758  1234 
db 
1235 
6d 

1236 
49 

1237 
49 

1238 
49 

1239 
49 

1240 
49 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1241 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1242 
STARTCHAR n 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1243 
ENCODING 110 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1244 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1245 
DWIDTH 9 0 
2758  1246 
BBX 7 7 0 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1247 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1248 
dc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1249 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1250 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1251 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1252 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1253 
42 
2758  1254 
42 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1255 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1256 
STARTCHAR o 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1257 
ENCODING 111 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1258 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1259 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1260 
BBX 8 7 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1261 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1262 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1263 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1264 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1265 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1266 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1267 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1268 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1269 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1270 
STARTCHAR p 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1271 
ENCODING 112 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1272 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1273 
DWIDTH 9 0 
2758  1274 
BBX 7 10 1 3 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1275 
BITMAP 
2758  1276 
b8 
1277 
c4 

1278 
82 

1279 
82 

1280 
82 

1281 
c4 

1282 
b8 

1283 
80 

1284 
80 

1285 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1286 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1287 
STARTCHAR q 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1288 
ENCODING 113 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1289 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1290 
DWIDTH 9 0 
2758  1291 
BBX 7 10 0 3 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1292 
BITMAP 
2758  1293 
3a 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1294 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1295 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1296 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1297 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1298 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1299 
3a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1300 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1301 
02 
2758  1302 
02 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1303 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1304 
STARTCHAR r 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1305 
ENCODING 114 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1306 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1307 
DWIDTH 9 0 
2758  1308 
BBX 6 7 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1309 
BITMAP 
2758  1310 
98 
1311 
a4 

1312 
c0 

1313 
80 

1314 
80 

1315 
80 

1316 
80 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1317 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1318 
STARTCHAR s 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1319 
ENCODING 115 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1320 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1321 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1322 
BBX 6 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1323 
BITMAP 
2758  1324 
78 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1325 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1326 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1327 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1328 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1329 
84 
2758  1330 
78 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1331 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1332 
STARTCHAR t 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1333 
ENCODING 116 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1334 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1335 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1336 
BBX 6 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1337 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1338 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1339 
40 
2758  1340 
f0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1341 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1342 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1343 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1344 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1345 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1346 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1347 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1348 
STARTCHAR u 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1349 
ENCODING 117 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1350 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1351 
DWIDTH 9 0 
2758  1352 
BBX 7 7 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1353 
BITMAP 
2758  1354 
84 
1355 
84 

1356 
84 

1357 
84 

1358 
84 

1359 
8c 

1360 
76 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1361 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1362 
STARTCHAR v 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1363 
ENCODING 118 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1364 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1365 
DWIDTH 9 0 
2758  1366 
BBX 6 7 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1367 
BITMAP 
2758  1368 
84 
1369 
84 

1370 
84 

1371 
48 

1372 
48 

1373 
30 

1374 
30 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1375 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1376 
STARTCHAR w 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1377 
ENCODING 119 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1378 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1379 
DWIDTH 9 0 
2758  1380 
BBX 7 7 1 0 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1381 
BITMAP 
2758  1382 
82 
1383 
82 

1384 
92 

1385 
92 

1386 
54 

1387 
6c 

1388 
6c 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1389 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1390 
STARTCHAR x 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1391 
ENCODING 120 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1392 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1393 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1394 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1395 
BITMAP 
2758  1396 
c6 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1397 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1398 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1399 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1400 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1401 
44 
2758  1402 
c6 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1403 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1404 
STARTCHAR y 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1405 
ENCODING 121 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1406 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1407 
DWIDTH 9 0 
2758  1408 
BBX 6 10 1 3 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1409 
BITMAP 
2758  1410 
84 
1411 
84 

1412 
84 

1413 
48 

1414 
48 

1415 
30 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1416 
10 
2758  1417 
20 
1418 
20 

1419 
60 

2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1420 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1421 
STARTCHAR z 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1422 
ENCODING 122 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1423 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1424 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1425 
BBX 5 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1426 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1427 
f8 
2758  1428 
08 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1429 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1430 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1431 
40 
2758  1432 
80 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1433 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1434 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1435 
STARTCHAR braceleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1436 
ENCODING 123 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1437 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1438 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1439 
BBX 3 12 3 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1440 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1441 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1442 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1443 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1444 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1445 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1446 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1447 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1448 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1449 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1450 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1451 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1452 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1453 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1454 
STARTCHAR bar 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1455 
ENCODING 124 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1456 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1457 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1458 
BBX 1 11 4 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1459 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1460 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1461 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1462 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1463 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1464 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1465 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1466 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1467 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1468 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1469 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1470 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1471 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1472 
STARTCHAR braceright 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1473 
ENCODING 125 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1474 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1475 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1476 
BBX 3 12 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1477 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1478 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1479 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1480 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1481 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1482 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1483 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1484 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1485 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1486 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1487 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1488 
40 