author  wenzelm 
Fri, 07 Mar 1997 09:49:28 +0100  
changeset 2745  6d0dd9491da8 
child 2791  b65da0c53d94 
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 isabellefixedboldrnormal242407575m150isabelle0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

4 
FONTBOUNDINGBOX 16 22 6 5 
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 "Bold" 
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 24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

14 
POINT_SIZE 240 
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 150 
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 Bold" 
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 17 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

29 
CHARS 191 
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 15 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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

42 
BBX 4 16 5 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 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

79 
BBX 12 19 1 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

105 
BBX 10 20 2 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

132 
BBX 10 15 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

235 
e0 
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 asterisk 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

239 
ENCODING 42 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

242 
BBX 10 11 2 5 
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 
0c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

254 
6180 
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 plus 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

257 
ENCODING 43 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

260 
BBX 12 14 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 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

288 
80 
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 minus 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

291 
ENCODING 45 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

294 
BBX 12 2 1 6 
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 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

313 
BBX 11 20 2 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

340 
BBX 10 16 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

363 
BBX 10 16 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

501 
BBX 10 16 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

524 
BBX 10 16 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

541 
3f00 
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 nine 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

544 
ENCODING 57 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

570 
BBX 3 11 5 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

609 
BBX 13 12 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

641 
BBX 13 12 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

660 
BBX 9 15 3 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

682 
BBX 10 18 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

701 
1e00 
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 A 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

704 
ENCODING 65 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

707 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

773 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

861 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

883 
BBX 10 15 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

897 
0c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

898 
ffc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

899 
ffc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

900 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

901 
STARTCHAR J 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

902 
ENCODING 74 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

903 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

904 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

905 
BBX 13 15 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

906 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

907 
1ff8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

908 
1ff8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

909 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

910 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

911 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

912 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

913 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

914 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

915 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

916 
c0c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

917 
c0c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

918 
c0c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

919 
e1c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

920 
7f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

921 
3f00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

922 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

923 
STARTCHAR K 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

924 
ENCODING 75 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

925 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

926 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

927 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

928 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

929 
fcf8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

930 
fcf8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

931 
30e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

932 
31c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

933 
3380 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

934 
3700 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

935 
3e00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

936 
3f00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

937 
3b80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

938 
31c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

939 
30e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

940 
3060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

941 
3070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

942 
fc3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

943 
fc3c 
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 L 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

946 
ENCODING 76 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

949 
BBX 12 15 1 0 
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 
ff00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

952 
ff00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

953 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

954 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

955 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

956 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

957 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

958 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

959 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

960 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

961 
1830 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

962 
1830 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

963 
1830 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

964 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

965 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

966 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

967 
STARTCHAR M 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

968 
ENCODING 77 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

969 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

970 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

971 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

972 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

973 
f03c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

974 
f03c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

975 
7878 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

976 
7878 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

977 
7878 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

978 
6cd8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

979 
6cd8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

980 
6798 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

981 
6798 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

982 
6318 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

983 
6018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

984 
6018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

985 
6018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

986 
f87c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

987 
f87c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

988 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

989 
STARTCHAR N 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

990 
ENCODING 78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

991 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

992 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

993 
BBX 13 15 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

994 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

995 
f0f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

996 
f0f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

997 
7830 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

998 
7830 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

999 
6c30 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1000 
6c30 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1001 
6630 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1002 
6630 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1003 
6330 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1004 
6330 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1005 
61b0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1006 
61b0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1007 
60f0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1008 
f8f0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1009 
f870 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1010 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1011 
STARTCHAR O 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1012 
ENCODING 79 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1013 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1014 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1015 
BBX 13 15 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1016 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1017 
0f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1018 
3fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1019 
7070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1020 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1021 
e038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1022 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1023 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1024 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1025 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1026 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1027 
e038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1028 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1029 
7070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1030 
3fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1031 
0f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1032 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1033 
STARTCHAR P 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1034 
ENCODING 80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1035 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1036 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1037 
BBX 13 15 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1038 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1039 
ffc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1040 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1041 
3038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1042 
3018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1043 
3018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1044 
3018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1045 
3018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1046 
3038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1047 
3ff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1048 
3fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1049 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1050 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1051 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1052 
ff00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1053 
ff00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1054 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1055 
STARTCHAR Q 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1056 
ENCODING 81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1057 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1058 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1059 
BBX 13 18 1 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1060 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1061 
0f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1062 
3fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1063 
7070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1064 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1065 
e038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1066 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1067 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1068 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1069 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1070 
c018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1071 
e038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1072 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1073 
7070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1074 
3fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1075 
0f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1076 
1e18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1077 
3ff8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1078 
39e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1079 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1080 
STARTCHAR R 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1081 
ENCODING 82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1082 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1083 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1084 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1085 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1086 
ff80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1087 
ffe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1088 
3070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1089 
3030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1090 
3030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1091 
3030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1092 
3070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1093 
3fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1094 
3f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1095 
31c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1096 
30e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1097 
3060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1098 
3070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1099 
fc3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1100 
fc3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1101 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1102 
STARTCHAR S 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1103 
ENCODING 83 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1104 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1105 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1106 
BBX 12 15 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1107 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1108 
1fb0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1109 
3ff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1110 
7070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1111 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1112 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1113 
7000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1114 
3e00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1115 
1fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1116 
03e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1117 
0070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1118 
c030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1119 
c030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1120 
e070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1121 
ffe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1122 
dfc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1123 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1124 
STARTCHAR T 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1125 
ENCODING 84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1126 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1127 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1128 
BBX 12 15 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1129 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1130 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1131 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1132 
c630 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1133 
c630 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1134 
c630 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1135 
c630 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1136 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1137 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1138 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1139 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1140 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1141 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1142 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1143 
3fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1144 
3fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1145 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1146 
STARTCHAR U 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1147 
ENCODING 85 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1148 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1149 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1150 
BBX 13 15 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1151 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1152 
f8f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1153 
f8f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1154 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1155 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1156 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1157 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1158 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1159 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1160 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1161 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1162 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1163 
6030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1164 
3060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1165 
3fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1166 
1fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1167 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1168 
STARTCHAR V 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1169 
ENCODING 86 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1170 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1171 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1172 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1173 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1174 
f87c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1175 
f87c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1176 
6018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1177 
6018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1178 
3030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1179 
3030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1180 
3030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1181 
1860 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1182 
1860 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1183 
1860 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1184 
0cc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1185 
0cc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1186 
0780 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1187 
0780 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1188 
0780 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1189 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1190 
STARTCHAR W 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1191 
ENCODING 87 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1192 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1193 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1194 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1195 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1196 
f87c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1197 
f87c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1198 
6018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1199 
6318 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1200 
6318 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1201 
6798 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1202 
6798 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1203 
6fd8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1204 
6cd8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1205 
6cd8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1206 
3cf0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1207 
3870 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1208 
3870 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1209 
3870 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1210 
3870 
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 X 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1213 
ENCODING 88 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1216 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1217 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1218 
fcfc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1219 
fcfc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1220 
7038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1221 
3870 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1222 
1ce0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1223 
0fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1224 
0780 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1225 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1226 
0780 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1227 
0cc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1228 
1ce0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1229 
3870 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1230 
7038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1231 
fcfc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1232 
fcfc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1233 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1234 
STARTCHAR Y 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1235 
ENCODING 89 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1236 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1237 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1238 
BBX 14 15 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1239 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1240 
fcfc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1241 
fcfc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1242 
7038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1243 
3870 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1244 
1860 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1245 
0cc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1246 
0fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1247 
0780 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1248 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1249 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1250 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1251 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1252 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1253 
1fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1254 
1fe0 
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 Z 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1257 
ENCODING 90 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1260 
BBX 11 15 2 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 
ffe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1263 
ffe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1264 
c0e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1265 
c1c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1266 
c380 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1267 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1268 
0700 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1269 
0e00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1270 
1c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1271 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1272 
3860 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1273 
7060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1274 
e060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1275 
ffe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1276 
ffe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1277 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1278 
STARTCHAR bracketleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1279 
ENCODING 91 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1280 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1281 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1282 
BBX 5 20 6 4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1283 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1284 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1285 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1286 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1287 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1288 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1289 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1290 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1291 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1292 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1293 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1294 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1295 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1296 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1297 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1298 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1299 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1300 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1301 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1302 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1303 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1304 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1305 
STARTCHAR backslash 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1306 
ENCODING 92 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1307 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1308 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1309 
BBX 11 20 2 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1310 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1311 
c000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1312 
c000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1313 
6000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1314 
6000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1315 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1316 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1317 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1318 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1319 
0c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1320 
0c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1321 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1322 
0600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1323 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1324 
0300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1325 
0180 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1326 
0180 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1327 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1328 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1329 
0060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1330 
0060 
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 bracketright 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1333 
ENCODING 93 
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 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1336 
BBX 5 20 3 4 
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 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1339 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1340 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1341 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1342 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1343 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1344 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1345 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1346 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1347 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1348 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1349 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1350 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1351 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1352 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1353 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1354 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1355 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1356 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1357 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1358 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1359 
STARTCHAR asciicircum 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1360 
ENCODING 94 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1361 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1362 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1363 
BBX 8 8 3 8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1364 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1365 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1366 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1367 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1368 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1369 
66 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1370 
66 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1371 
c3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1372 
c3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1373 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1374 
STARTCHAR underscore 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1375 
ENCODING 95 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1376 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1377 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1378 
BBX 15 2 0 4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1379 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1380 
fffe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1381 
fffe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1382 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1383 
STARTCHAR quoteleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1384 
ENCODING 96 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1385 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1386 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1387 
BBX 5 6 5 9 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1388 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1389 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1390 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1391 
70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1392 
30 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1393 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1394 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1395 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1396 
STARTCHAR a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1397 
ENCODING 97 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1398 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1399 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1400 
BBX 12 11 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1401 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1402 
3f00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1403 
7f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1404 
61c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1405 
00c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1406 
1fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1407 
7fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1408 
e0c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1409 
c0c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1410 
c1c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1411 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1412 
7ef0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1413 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1414 
STARTCHAR b 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1415 
ENCODING 98 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1416 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1417 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1418 
BBX 13 16 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1419 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1420 
f000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1421 
f000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1422 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1423 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1424 
3000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1425 
37c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1426 
3ff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1427 
3c70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1428 
3838 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1429 
3018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1430 
3018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1431 
3018 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1432 
3838 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1433 
3c70 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1434 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1435 
f7c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1436 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1437 
STARTCHAR c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1438 
ENCODING 99 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1439 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1440 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1441 
BBX 13 11 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1442 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1443 
1fb0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1444 
7ff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1445 
70f0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1446 
e070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1447 
c030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1448 
c000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1449 
c000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1450 
e000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1451 
7038 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1452 
7ff8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1453 
1fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1454 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1455 
STARTCHAR d 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1456 
ENCODING 100 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1457 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1458 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1459 
BBX 13 16 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1460 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1461 
01e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1462 
01e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1463 
0060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1464 
0060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1465 
0060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1466 
1f60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1467 
7fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1468 
71e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1469 
e0e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1470 
c060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1471 
c060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1472 
c060 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1473 
e0e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1474 
71e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1475 
7ff8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1476 
1f78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1477 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1478 
STARTCHAR e 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1479 
ENCODING 101 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1480 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1481 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1482 
BBX 12 11 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1483 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1484 
1f80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1485 
7fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1486 
70e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1487 
e070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1488 
c030 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1489 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1490 
fff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1491 
e000 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1492 
7070 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1493 
7ff0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1494 
1fc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1495 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1496 
STARTCHAR f 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1497 
ENCODING 102 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1498 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1499 
DWIDTH 15 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1500 
BBX 11 16 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1501 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1502 
07e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1503 
0fe0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1504 
1c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1505 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1506 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1507 
ffc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1508 
ffc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1509 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1510 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1511 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1512 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1513 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1514 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1515 
1800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1516 
ffc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1517 
ffc0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1518 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1519 
STARTCHAR g 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1520 
ENCODING 103 