author  wenzelm 
Fri, 07 Mar 1997 13:47:37 +0100  
changeset 2757  3090e4a1a317 
parent 2745  6d0dd9491da8 
child 2758  f433eb78b927 
permissions  rwrr 
2745
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

4 
FONTBOUNDINGBOX 9 14 4 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

28 
ENDPROPERTIES 
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 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

547 
BBX 7 9 1 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 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

707 
BBX 8 9 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 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

814 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

815 
e1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

816 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

817 
STARTCHAR S 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

818 
ENCODING 83 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

819 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

820 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

821 
BBX 6 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

822 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

823 
74 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

824 
8c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

825 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

826 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

827 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

828 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

829 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

830 
c4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

831 
b8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

832 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

833 
STARTCHAR T 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

834 
ENCODING 84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

835 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

836 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

837 
BBX 7 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

838 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

839 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

840 
92 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

841 
92 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

842 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

843 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

844 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

845 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

846 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

847 
7c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

848 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

849 
STARTCHAR U 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

850 
ENCODING 85 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

851 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

852 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

853 
BBX 8 9 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

854 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

855 
e7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

856 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

857 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

858 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

859 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

860 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

861 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

862 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

863 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

864 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

865 
STARTCHAR V 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

866 
ENCODING 86 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

867 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

868 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

869 
BBX 9 9 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

870 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

871 
e380 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

872 
4100 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

873 
4100 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

874 
2200 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

875 
2200 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

876 
1400 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

877 
1400 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

878 
0800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

879 
0800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

880 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

881 
STARTCHAR W 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

882 
ENCODING 87 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

883 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

884 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

885 
BBX 9 9 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

886 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

887 
e380 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

888 
4100 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

889 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

890 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

891 
5500 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

892 
5500 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

893 
2200 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

894 
2200 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

895 
2200 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

896 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

897 
STARTCHAR X 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

898 
ENCODING 88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

899 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

900 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

901 
BBX 8 9 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

902 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

903 
e7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

904 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

905 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

906 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

907 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

908 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

909 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

910 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

911 
e7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

912 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

913 
STARTCHAR Y 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

914 
ENCODING 89 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

915 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

916 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

917 
BBX 7 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

918 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

919 
ee 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

920 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

921 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

922 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

923 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

924 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

925 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

926 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

927 
7c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

928 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

929 
STARTCHAR Z 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

930 
ENCODING 90 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

931 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

932 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

933 
BBX 6 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

934 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

935 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

936 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

937 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

938 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

939 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

940 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

941 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

942 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

943 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

944 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

945 
STARTCHAR bracketleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

946 
ENCODING 91 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

947 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

948 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

949 
BBX 3 12 3 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

950 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

951 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

952 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

953 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

954 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

955 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

956 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

957 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

958 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

959 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

960 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

961 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

962 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

963 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

964 
STARTCHAR backslash 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

965 
ENCODING 92 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

966 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

967 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

968 
BBX 6 11 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

969 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

970 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

971 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

972 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

973 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

974 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

975 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

976 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

977 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

978 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

979 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

980 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

981 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

982 
STARTCHAR bracketright 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

983 
ENCODING 93 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

984 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

985 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

986 
BBX 3 12 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

987 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

988 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

989 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

990 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

991 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

992 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

993 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

994 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

995 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

996 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

997 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

998 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

999 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1000 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1001 
STARTCHAR asciicircum 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1002 
ENCODING 94 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1003 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1004 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1005 
BBX 5 5 2 4 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1006 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1007 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1008 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1009 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1010 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1011 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1012 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1013 
STARTCHAR underscore 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1014 
ENCODING 95 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1015 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1016 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1017 
BBX 9 1 0 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1018 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1019 
ff80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1020 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1021 
STARTCHAR quoteleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1022 
ENCODING 96 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1023 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1024 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1025 
BBX 3 4 2 5 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1026 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1027 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1028 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1029 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1030 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1031 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1032 
STARTCHAR a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1033 
ENCODING 97 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1034 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1035 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1036 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1037 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1038 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1039 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1040 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1041 
7c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1042 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1043 
8c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1044 
76 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1045 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1046 
STARTCHAR b 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1047 
ENCODING 98 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1048 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1049 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1050 
BBX 8 10 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1051 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1052 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1053 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1054 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1055 
5c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1056 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1057 
41 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1058 
41 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1059 
41 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1060 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1061 
dc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1062 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1063 
STARTCHAR c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1064 
ENCODING 99 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1065 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1066 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1067 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1068 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1069 
3a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1070 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1071 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1072 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1073 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1074 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1075 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1076 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1077 
STARTCHAR d 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1078 
ENCODING 100 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1079 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1080 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1081 
BBX 8 10 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1082 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1083 
06 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1084 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1085 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1086 
3a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1087 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1088 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1089 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1090 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1091 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1092 
3b 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1093 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1094 
STARTCHAR e 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1095 
ENCODING 101 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1096 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1097 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1098 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1099 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1100 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1101 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1102 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1103 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1104 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1105 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1106 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1107 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1108 
STARTCHAR f 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1109 
ENCODING 102 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1110 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1111 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1112 
BBX 7 10 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1113 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1114 
1e 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1115 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1116 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1117 
fc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1118 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1119 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1120 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1121 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1122 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1123 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1124 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1125 
STARTCHAR g 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1126 
ENCODING 103 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1127 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1128 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1129 
BBX 8 10 0 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1130 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1131 
3b 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1132 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1133 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1134 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1135 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1136 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1137 
3a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1138 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1139 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1140 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1141 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1142 
STARTCHAR h 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1143 
ENCODING 104 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1144 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1145 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1146 
BBX 8 10 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1147 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1148 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1149 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1150 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1151 
5c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1152 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1153 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1154 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1155 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1156 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1157 
e7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1158 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1159 
STARTCHAR i 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1160 
ENCODING 105 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1161 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1162 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1163 
BBX 5 10 2 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1164 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1165 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1166 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1167 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1168 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1169 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1170 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1171 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1172 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1173 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1174 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1175 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1176 
STARTCHAR j 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1177 
ENCODING 106 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1178 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1179 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1180 
BBX 5 13 1 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1181 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1182 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1183 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1184 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1185 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1186 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1187 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1188 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1189 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1190 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1191 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1192 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1193 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1194 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1195 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1196 
STARTCHAR k 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1197 
ENCODING 107 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1198 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1199 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1200 
BBX 7 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1201 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1202 
c0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1203 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1204 
4e 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1205 
48 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1206 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1207 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1208 
50 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1209 
48 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1210 
ce 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1211 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1212 
STARTCHAR l 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1213 
ENCODING 108 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1214 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1215 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1216 
BBX 5 9 2 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 
e0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1219 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1220 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1221 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1222 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1223 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1224 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1225 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1226 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1227 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1228 
STARTCHAR m 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1229 
ENCODING 109 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1230 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1231 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1232 
BBX 9 7 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1233 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1234 
db00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1235 
6d00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1236 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1237 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1238 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1239 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1240 
ed80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1241 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1242 
STARTCHAR n 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1243 
ENCODING 110 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1244 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1245 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1246 
BBX 8 7 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1247 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1248 
dc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1249 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1250 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1251 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1252 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1253 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1254 
e7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1255 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1256 
STARTCHAR o 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1257 
ENCODING 111 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1258 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1259 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1260 
BBX 8 7 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1261 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1262 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1263 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1264 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1265 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1266 
81 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1267 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1268 
3c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1269 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1270 
STARTCHAR p 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1271 
ENCODING 112 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1272 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1273 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1274 
BBX 8 10 0 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1275 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1276 
dc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1277 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1278 
41 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1279 
41 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1280 
41 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1281 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1282 
5c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1283 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1284 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1285 
f0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1286 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1287 
STARTCHAR q 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1288 
ENCODING 113 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1289 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1290 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1291 
BBX 8 10 0 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1292 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1293 
3b 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1294 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1295 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1296 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1297 
82 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1298 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1299 
3a 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1300 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1301 
02 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1302 
0f 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1303 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1304 
STARTCHAR r 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1305 
ENCODING 114 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1306 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1307 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1308 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1309 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1310 
cc 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1311 
52 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1312 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1313 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1314 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1315 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1316 
f0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1317 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1318 
STARTCHAR s 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1319 
ENCODING 115 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1320 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1321 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1322 
BBX 6 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1323 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1324 
7c 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1325 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1326 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1327 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1328 
04 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1329 
84 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1330 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1331 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1332 
STARTCHAR t 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1333 
ENCODING 116 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1334 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1335 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1336 
BBX 6 9 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1337 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1338 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1339 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1340 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1341 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1342 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1343 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1344 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1345 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1346 
38 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1347 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1348 
STARTCHAR u 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1349 
ENCODING 117 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1350 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1351 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1352 
BBX 8 7 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1353 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1354 
c6 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1355 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1356 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1357 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1358 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1359 
46 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1360 
3b 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1361 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1362 
STARTCHAR v 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1363 
ENCODING 118 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1364 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1365 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1366 
BBX 8 7 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1367 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1368 
e7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1369 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1370 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1371 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1372 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1373 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1374 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1375 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1376 
STARTCHAR w 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1377 
ENCODING 119 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1378 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1379 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1380 
BBX 9 7 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1381 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1382 
e380 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1383 
4100 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1384 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1385 
4900 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1386 
2a00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1387 
3600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1388 
3600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1389 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1390 
STARTCHAR x 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1391 
ENCODING 120 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1392 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1393 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1394 
BBX 7 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1395 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1396 
ee 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1397 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1398 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1399 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1400 
28 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1401 
44 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1402 
ee 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1403 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1404 
STARTCHAR y 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1405 
ENCODING 121 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1406 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1407 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1408 
BBX 8 10 0 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1409 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1410 
e7 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1411 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1412 
42 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1413 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1414 
24 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1415 
18 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1416 
08 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1417 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1418 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1419 
78 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1420 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1421 
STARTCHAR z 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1422 
ENCODING 122 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1423 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1424 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1425 
BBX 5 7 1 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1426 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1427 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1428 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1429 
10 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1430 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1431 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1432 
88 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1433 
f8 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1434 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1435 
STARTCHAR braceleft 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1436 
ENCODING 123 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1437 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1438 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1439 
BBX 3 12 3 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1440 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1441 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1442 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1443 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1444 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1445 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1446 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1447 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1448 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1449 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1450 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1451 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1452 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1453 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1454 
STARTCHAR bar 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1455 
ENCODING 124 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1456 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1457 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1458 
BBX 1 11 4 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1459 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1460 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1461 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1462 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1463 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1464 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1465 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1466 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1467 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1468 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1469 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1470 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1471 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1472 
STARTCHAR braceright 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1473 
ENCODING 125 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1474 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1475 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1476 
BBX 3 12 2 2 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1477 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1478 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1479 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1480 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1481 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1482 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1483 
20 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1484 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1485 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1486 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1487 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1488 
40 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1489 
80 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1490 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1491 
STARTCHAR asciitilde 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1492 
ENCODING 126 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1493 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1494 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1495 
BBX 6 2 1 3 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1496 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1497 
64 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1498 
98 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1499 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1500 
STARTCHAR space 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1501 
ENCODING 160 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1502 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1503 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1504 
BBX 1 1 0 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1505 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1506 
00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1507 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1508 
STARTCHAR Gamma 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1509 
ENCODING 161 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1510 
SWIDTH 216 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1511 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1512 
BBX 7 10 1 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1513 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1514 
fe 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1515 
62 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1516 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1517 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1518 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1519 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1520 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1521 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1522 
60 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1523 
f0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1524 
ENDCHAR 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1525 
STARTCHAR Delta 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1526 
ENCODING 162 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1527 
SWIDTH 600 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1528 
DWIDTH 9 0 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1529 
BBX 9 10 0 1 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1530 
BITMAP 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1531 
0800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1532 
0800 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1533 
1c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1534 
1c00 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1535 
1600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1536 
2600 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1537 
2300 
6d0dd9491da8
renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff
changeset

1538 
4300 
