| author | wenzelm |
| Mon, 02 Jan 1995 12:14:26 +0100 | |
| changeset 840 | 5716e174b591 |
| child 1688 | 2121df622671 |
| permissions | -rw-r--r-- |
1 %!PS-Adobe-3.0 EPSF-3.0
2 %%BoundingBox: 116 648 289 789
3 %%Title: (set-I figures-Layer#1)
4 %%Creator: (MacDraw II 1.1: LaserWriter 8 8.1.1)
5 %%CreationDate: (11:19 am Sunday, January 9, 1994)
6 %%For: ()
7 %%Pages: 1
8 %%DocumentFonts: Helvetica
9 %%DocumentNeededFonts: Helvetica
10 %%DocumentSuppliedFonts:
11 %%DocumentData: Clean7Bit
12 %%PageOrder: Ascend
13 %%Orientation: Portrait
14 %ADO_PaperArea: -129 -117 3379 2362
15 %ADO_ImageableArea: 0 0 3254 2242
16 %%EndComments
17 /md 150 dict def md begin
18 /currentpacking where {pop /sc_oldpacking currentpacking def true setpacking}if
19 %%BeginFile: adobe_psp_basic
20 %%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
21 /bd{bind def}bind def
22 /xdf{exch def}bd
23 /xs{exch store}bd
24 /ld{load def}bd
25 /Z{0 def}bd
26 /T/true
27 /F/false
28 /:L/lineto
29 /lw/setlinewidth
30 /:M/moveto
31 /rl/rlineto
32 /rm/rmoveto
33 /:C/curveto
34 /:T/translate
35 /:K/closepath
36 /:mf/makefont
37 /gS/gsave
38 /gR/grestore
39 /np/newpath
40 14{ld}repeat
41 /$m matrix def
42 /av 81 def
43 /por true def
44 /normland false def
45 /psb-nosave{}bd
46 /pse-nosave{}bd
47 /us Z
48 /psb{/us save store}bd
49 /pse{us restore}bd
50 /level2
51 /languagelevel where
52 {
53 pop languagelevel 2 ge
54 }{
55 false
56 }ifelse
57 def
58 /featurecleanup
59 {
60 stopped
61 cleartomark
62 countdictstack exch sub dup 0 gt
63 {
64 {end}repeat
65 }{
66 pop
67 }ifelse
68 }bd
69 /noload Z
70 /startnoload
71 {
72 {/noload save store}if
73 }bd
74 /endnoload
75 {
76 {noload restore}if
77 }bd
78 level2 startnoload
79 /setjob
80 {
81 statusdict/jobname 3 -1 roll put
82 }bd
83 /setcopies
84 {
85 userdict/#copies 3 -1 roll put
86 }bd
87 level2 endnoload level2 not startnoload
88 /setjob
89 {
90 1 dict begin/JobName xdf currentdict end setuserparams
91 }bd
92 /setcopies
93 {
94 1 dict begin/NumCopies xdf currentdict end setpagedevice
95 }bd
96 level2 not endnoload
97 /pm Z
98 /mT Z
99 /sD Z
100 /realshowpage Z
101 /initializepage
102 {
103 /pm save store mT concat
104 }bd
105 /endp
106 {
107 pm restore showpage
108 }def
109 /$c/DeviceRGB def
110 /rectclip where
111 {
112 pop/rC/rectclip ld
113 }{
114 /rC
115 {
116 np 4 2 roll
117 :M
118 1 index 0 rl
119 0 exch rl
120 neg 0 rl
121 :K
122 clip np
123 }bd
124 }ifelse
125 /rectfill where
126 {
127 pop/rF/rectfill ld
128 }{
129 /rF
130 {
131 gS
132 np
133 4 2 roll
134 :M
135 1 index 0 rl
136 0 exch rl
137 neg 0 rl
138 fill
139 gR
140 }bd
141 }ifelse
142 /rectstroke where
143 {
144 pop/rS/rectstroke ld
145 }{
146 /rS
147 {
148 gS
149 np
150 4 2 roll
151 :M
152 1 index 0 rl
153 0 exch rl
154 neg 0 rl
155 :K
156 stroke
157 gR
158 }bd
159 }ifelse
160 %%EndFile
161 %%BeginFile: adobe_psp_colorspace_level1
162 %%Copyright: Copyright 1991-1993 Adobe Systems Incorporated. All Rights Reserved.
163 /G/setgray ld
164 /:F/setrgbcolor ld
165 %%EndFile
166 %%BeginFile: adobe_psp_uniform_graphics
167 %%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
168 /@a
169 {
170 np :M 0 rl :L 0 exch rl 0 rl :L fill
171 }bd
172 /@b
173 {
174 np :M 0 rl 0 exch rl :L 0 rl 0 exch rl fill
175 }bd
176 /arct where
177 {
178 pop
179 }{
180 /arct
181 {
182 arcto pop pop pop pop
183 }bd
184 }ifelse
185 /x1 Z
186 /x2 Z
187 /y1 Z
188 /y2 Z
189 /rad Z
190 /@q
191 {
192 /rad xs
193 /y2 xs
194 /x2 xs
195 /y1 xs
196 /x1 xs
197 np
198 x2 x1 add 2 div y1 :M
199 x2 y1 x2 y2 rad arct
200 x2 y2 x1 y2 rad arct
201 x1 y2 x1 y1 rad arct
202 x1 y1 x2 y1 rad arct
203 fill
204 }bd
205 /@s
206 {
207 /rad xs
208 /y2 xs
209 /x2 xs
210 /y1 xs
211 /x1 xs
212 np
213 x2 x1 add 2 div y1 :M
214 x2 y1 x2 y2 rad arct
215 x2 y2 x1 y2 rad arct
216 x1 y2 x1 y1 rad arct
217 x1 y1 x2 y1 rad arct
218 :K
219 stroke
220 }bd
221 /@i
222 {
223 np 0 360 arc fill
224 }bd
225 /@j
226 {
227 gS
228 np
229 :T
230 scale
231 0 0 .5 0 360 arc
232 fill
233 gR
234 }bd
235 /@e
236 {
237 np
238 0 360 arc
239 :K
240 stroke
241 }bd
242 /@f
243 {
244 np
245 $m currentmatrix
246 pop
247 :T
248 scale
249 0 0 .5 0 360 arc
250 :K
251 $m setmatrix
252 stroke
253 }bd
254 /@k
255 {
256 gS
257 np
258 :T
259 0 0 :M
260 0 0 5 2 roll
261 arc fill
262 gR
263 }bd
264 /@l
265 {
266 gS
267 np
268 :T
269 0 0 :M
270 scale
271 0 0 .5 5 -2 roll arc
272 fill
273 gR
274 }bd
275 /@m
276 {
277 np
278 arc
279 stroke
280 }bd
281 /@n
282 {
283 np
284 $m currentmatrix
285 pop
286 :T
287 scale
288 0 0 .5 5 -2 roll arc
289 $m setmatrix
290 stroke
291 }bd
292 %%EndFile
293 %%BeginFile: adobe_psp_customps
294 %%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
295 /$t Z
296 /$p Z
297 /$s Z
298 /$o 1. def
299 /2state? false def
300 /ps Z
301 level2 startnoload
302 /pushcolor/currentrgbcolor ld
303 /popcolor/setrgbcolor ld
304 /setcmykcolor where
305 {
306 pop/currentcmykcolor where
307 {
308 pop/pushcolor/currentcmykcolor ld
309 /popcolor/setcmykcolor ld
310 }if
311 }if
312 level2 endnoload level2 not startnoload
313 /pushcolor
314 {
315 currentcolorspace $c eq
316 {
317 currentcolor currentcolorspace true
318 }{
319 currentcmykcolor false
320 }ifelse
321 }bd
322 /popcolor
323 {
324 {
325 setcolorspace setcolor
326 }{
327 setcmykcolor
328 }ifelse
329 }bd
330 level2 not endnoload
331 /pushstatic
332 {
333 ps
334 2state?
335 $o
336 $t
337 $p
338 $s
339 }bd
340 /popstatic
341 {
342 /$s xs
343 /$p xs
344 /$t xs
345 /$o xs
346 /2state? xs
347 /ps xs
348 }bd
349 /pushgstate
350 {
351 save errordict/nocurrentpoint{pop 0 0}put
352 currentpoint
353 3 -1 roll restore
354 pushcolor
355 currentlinewidth
356 currentlinecap
357 currentlinejoin
358 currentdash exch aload length
359 np clippath pathbbox
360 $m currentmatrix aload pop
361 }bd
362 /popgstate
363 {
364 $m astore setmatrix
365 2 index sub exch
366 3 index sub exch
367 rC
368 array astore exch setdash
369 setlinejoin
370 setlinecap
371 lw
372 popcolor
373 np :M
374 }bd
375 /bu
376 {
377 pushgstate
378 gR
379 pushgstate
380 2state?
381 {
382 gR
383 pushgstate
384 }if
385 pushstatic
386 pm restore
387 mT concat
388 }bd
389 /bn
390 {
391 /pm save store
392 popstatic
393 popgstate
394 gS
395 popgstate
396 2state?
397 {
398 gS
399 popgstate
400 }if
401 }bd
402 /cpat{pop 64 div G 8{pop}repeat}bd
403 %%EndFile
404 %%BeginFile: adobe_psp_basic_text
405 %%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
406 /S/show ld
407 /A{
408 0.0 exch ashow
409 }bd
410 /R{
411 0.0 exch 32 exch widthshow
412 }bd
413 /W{
414 0.0 3 1 roll widthshow
415 }bd
416 /J{
417 0.0 32 4 2 roll 0.0 exch awidthshow
418 }bd
419 /V{
420 0.0 4 1 roll 0.0 exch awidthshow
421 }bd
422 /fcflg true def
423 /fc{
424 fcflg{
425 vmstatus exch sub 50000 lt{
426 (%%[ Warning: Running out of memory ]%%\r)print flush/fcflg false store
427 }if pop
428 }if
429 }bd
430 /$f[1 0 0 -1 0 0]def
431 /:ff{$f :mf}bd
432 /MacEncoding StandardEncoding 256 array copy def
433 MacEncoding 39/quotesingle put
434 MacEncoding 96/grave put
435 /Adieresis/Aring/Ccedilla/Eacute/Ntilde/Odieresis/Udieresis/aacute
436 /agrave/acircumflex/adieresis/atilde/aring/ccedilla/eacute/egrave
437 /ecircumflex/edieresis/iacute/igrave/icircumflex/idieresis/ntilde/oacute
438 /ograve/ocircumflex/odieresis/otilde/uacute/ugrave/ucircumflex/udieresis
439 /dagger/degree/cent/sterling/section/bullet/paragraph/germandbls
440 /registered/copyright/trademark/acute/dieresis/notequal/AE/Oslash
441 /infinity/plusminus/lessequal/greaterequal/yen/mu/partialdiff/summation
442 /product/pi/integral/ordfeminine/ordmasculine/Omega/ae/oslash
443 /questiondown/exclamdown/logicalnot/radical/florin/approxequal/Delta/guillemotleft
444 /guillemotright/ellipsis/space/Agrave/Atilde/Otilde/OE/oe
445 /endash/emdash/quotedblleft/quotedblright/quoteleft/quoteright/divide/lozenge
446 /ydieresis/Ydieresis/fraction/currency/guilsinglleft/guilsinglright/fi/fl
447 /daggerdbl/periodcentered/quotesinglbase/quotedblbase/perthousand
448 /Acircumflex/Ecircumflex/Aacute/Edieresis/Egrave/Iacute/Icircumflex/Idieresis/Igrave
449 /Oacute/Ocircumflex/apple/Ograve/Uacute/Ucircumflex/Ugrave/dotlessi/circumflex/tilde
450 /macron/breve/dotaccent/ring/cedilla/hungarumlaut/ogonek/caron
451 MacEncoding 128 128 getinterval astore pop
452 level2 startnoload
453 /copyfontdict
454 {
455 findfont dup length dict
456 begin
457 {
458 1 index/FID ne{def}{pop pop}ifelse
459 }forall
460 }bd
461 level2 endnoload level2 not startnoload
462 /copyfontdict
463 {
464 findfont dup length dict
465 copy
466 begin
467 }bd
468 level2 not endnoload
469 md/fontname known not{
470 /fontname/customfont def
471 }if
472 /Encoding Z
473 /:mre
474 {
475 copyfontdict
476 /Encoding MacEncoding def
477 fontname currentdict
478 end
479 definefont :ff def
480 }bd
481 /:bsr
482 {
483 copyfontdict
484 /Encoding Encoding 256 array copy def
485 Encoding dup
486 }bd
487 /pd{put dup}bd
488 /:esr
489 {
490 pop pop
491 fontname currentdict
492 end
493 definefont :ff def
494 }bd
495 /scf
496 {
497 scalefont def
498 }bd
499 /scf-non
500 {
501 $m scale :mf setfont
502 }bd
503 /ps Z
504 /fz{/ps xs}bd
505 /sf/setfont ld
506 /cF/currentfont ld
507 /mbf
508 {
509 /makeblendedfont where
510 {
511 pop
512 makeblendedfont
513 /ABlend exch definefont
514 }{
515 pop
516 }ifelse
517 def
518 }def
519 %%EndFile
520 /currentpacking where {pop sc_oldpacking setpacking}if
521 end % md
522 %%EndProlog
523 %%BeginSetup
524 md begin
525 /pT[1 0 0 -1 28.079 810.927]def/mT[.24 0 0 -.24 28.079 810.927]def
526 /sD 16 dict def
527 %%IncludeFont: Helvetica
528 /f0_1/Helvetica :mre
529 /f0_42 f0_1 42 scf
530 /Courier findfont[10 0 0 -10 0 0]:mf setfont
531 %%EndSetup
532 %%Page: 1 1
533 %%BeginPageSetup
534 initializepage
535 %%EndPageSetup
536 gS 0 0 2242 3254 rC
537 0 0 :M
538 0 setlinecap
539 currentscreen
540 3 1 roll pop pop 60 45 3 -1 roll setscreen
541 601 638 :M
542 f0_42 sf
543 -.005(Pure Isabelle)A
544 4 lw
545 563 563 900 675 35.5 @s
546 486 452 -4 4 602 561 4 486 448 @a
547 -4 -4 865 565 4 4 973 448 @b
548 654 452 -4 4 677 561 4 654 448 @a
549 -4 -4 790 565 4 4 804 448 @b
550 434 434 :M
551 -.447(IFOL)A
552 622 434 :M
553 -.816(CTT)A
554 772 434 :M
555 -.669(HOL)A
556 959 434 :M
557 -1.362(LK)A
558 -4 -4 996 377 4 4 992 298 @b
559 392 152 -4 4 452 223 4 392 148 @a
560 -4 -4 490 227 4 4 542 148 @b
561 376 134 :M
562 -1.311(ZF)A
563 509 134 :M
564 -.662(LCF)A
565 939 225 :M
566 -.335(Modal)A
567 939 279 :M
568 -.268(logics)A
569 -4 -4 471 377 4 4 467 298 @b
570 434 284 :M
571 -.836(FOL)A
572 endp
573 %%Trailer
574 end % md
575 %%EOF