1 %!PS-Adobe-3.0 EPSF-3.0 |
1 %!PS-Adobe-3.0 EPSF-3.0 |
2 %%BoundingBox: 116 648 289 789 |
2 %%BoundingBox: 106 651 274 788 |
3 %%Title: (set-I figures-Layer#1) |
3 %%Title: (Isa-logics) |
4 %%Creator: (MacDraw II 1.1: LaserWriter 8 8.1.1) |
4 %%Creator: (ClarisDraw: LaserWriter 8 8.1.1) |
5 %%CreationDate: (11:19 am Sunday, January 9, 1994) |
5 %%CreationDate: (9:19 pm Wednesday, April 24, 1996) |
6 %%For: () |
6 %%For: (Larry) |
7 %%Pages: 1 |
7 %%Pages: 1 |
8 %%DocumentFonts: Helvetica |
8 %%DocumentFonts: Times-Roman |
9 %%DocumentNeededFonts: Helvetica |
9 %%DocumentNeededFonts: Times-Roman |
10 %%DocumentSuppliedFonts: |
10 %%DocumentSuppliedFonts: |
11 %%DocumentData: Clean7Bit |
11 %%DocumentData: Clean7Bit |
12 %%PageOrder: Ascend |
12 %%PageOrder: Ascend |
13 %%Orientation: Portrait |
13 %%Orientation: Portrait |
14 %ADO_PaperArea: -129 -117 3379 2362 |
14 %ADO_PaperArea: -124 -112 3244 2268 |
15 %ADO_ImageableArea: 0 0 3254 2242 |
15 %ADO_ImageableArea: 0 0 3124 2152 |
16 %%EndComments |
16 %%EndComments |
17 /md 150 dict def md begin |
17 /md 148 dict def md begin |
18 /currentpacking where {pop /sc_oldpacking currentpacking def true setpacking}if |
18 /currentpacking where {pop /sc_oldpacking currentpacking def true setpacking}if |
19 %%BeginFile: adobe_psp_basic |
19 %%BeginFile: adobe_psp_basic |
20 %%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved. |
20 %%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved. |
21 /bd{bind def}bind def |
21 /bd{bind def}bind def |
22 /xdf{exch def}bd |
22 /xdf{exch def}bd |
520 /currentpacking where {pop sc_oldpacking setpacking}if |
520 /currentpacking where {pop sc_oldpacking setpacking}if |
521 end % md |
521 end % md |
522 %%EndProlog |
522 %%EndProlog |
523 %%BeginSetup |
523 %%BeginSetup |
524 md begin |
524 md begin |
525 /pT[1 0 0 -1 28.079 810.927]def/mT[.24 0 0 -.24 28.079 810.927]def |
525 /pT[1 0 0 -1 28 811]def/mT[.25 0 0 -.25 28 811]def |
526 /sD 16 dict def |
526 /sD 16 dict def |
527 %%IncludeFont: Helvetica |
527 %%IncludeFont: Times-Roman |
528 /f0_1/Helvetica :mre |
528 /f0_1/Times-Roman :mre |
529 /f0_42 f0_1 42 scf |
529 /f0_40 f0_1 40 scf |
530 /Courier findfont[10 0 0 -10 0 0]:mf setfont |
530 /Courier findfont[10 0 0 -10 0 0]:mf setfont |
|
531 %PostScript Hack by Mike Brors 12/7/90 |
|
532 /DisableNextSetRGBColor |
|
533 { |
|
534 userdict begin |
|
535 /setrgbcolor |
|
536 { |
|
537 pop |
|
538 pop |
|
539 pop |
|
540 userdict begin |
|
541 /setrgbcolor systemdict /setrgbcolor get def |
|
542 end |
|
543 } def |
|
544 end |
|
545 } bind def |
|
546 /bcarray where { |
|
547 pop |
|
548 bcarray 2 { |
|
549 /da 4 ps div def |
|
550 df setfont gsave cs wi |
|
551 1 index 0 ne{exch da add exch}if grestore setcharwidth |
|
552 cs 0 0 smc da 0 smc da da smc 0 da smc c |
|
553 gray |
|
554 { gl} |
|
555 {1 setgray}ifelse |
|
556 da 2. div dup moveto show |
|
557 }bind put |
|
558 } if |
|
559 % |
|
560 % Used to snap to device pixels, 1/4th of the pixel in. |
|
561 /stp { % x y pl x y % Snap To Pixel, pixel (auto stroke adjust) |
|
562 transform |
|
563 0.25 sub round 0.25 add exch |
|
564 0.25 sub round 0.25 add exch |
|
565 itransform |
|
566 } bind def |
|
567 |
|
568 /snapmoveto { % x y m - % moveto, auto stroke adjust |
|
569 stp moveto |
|
570 } bind def |
|
571 |
|
572 /snaplineto { % x y l - % lineto, auto stroke adjust |
|
573 stp lineto |
|
574 } bind def |
531 %%EndSetup |
575 %%EndSetup |
532 %%Page: 1 1 |
576 %%Page: 1 1 |
533 %%BeginPageSetup |
577 %%BeginPageSetup |
534 initializepage |
578 initializepage |
535 %%EndPageSetup |
579 %%EndPageSetup |
536 gS 0 0 2242 3254 rC |
580 gS 0 0 2152 3124 rC |
537 0 0 :M |
581 0 0 :M |
538 0 setlinecap |
582 .25 0 translate |
539 currentscreen |
583 /DrawObject_save_matrix_0 matrix currentmatrix def |
540 3 1 roll pop pop 60 45 3 -1 roll setscreen |
584 0 0 2152 2912 rC |
541 601 638 :M |
585 -40 -12 :M |
542 f0_42 sf |
586 DrawObject_save_matrix_0 setmatrix |
543 -.005(Pure Isabelle)A |
587 /DrawObject_save_matrix_0 matrix currentmatrix def |
|
588 -40 -12 :M |
|
589 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
590 0 0 2152 2911 rC |
|
591 -40 -12 :M |
|
592 /DrawObject_save_matrix_2 matrix currentmatrix def |
|
593 -40 -12 :M |
|
594 DrawObject_save_matrix_2 setmatrix |
|
595 DrawObject_save_matrix_1 setmatrix |
|
596 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
597 558 556 208 48 rC |
|
598 558 556 :M |
|
599 DrawObject_save_matrix_1 setmatrix |
|
600 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
601 gR |
|
602 gS 553 520 218 84 rC |
|
603 558 592 :M |
|
604 f0_40 sf |
|
605 -.055(Pure Isabelle)A |
|
606 gR |
|
607 gS 0 0 2152 2912 rC |
544 4 lw |
608 4 lw |
545 563 563 900 675 35.5 @s |
609 518 528 806 636 32 @s |
546 486 452 -4 4 602 561 4 486 448 @a |
610 168 24 :M |
547 -4 -4 865 565 4 4 973 448 @b |
611 DrawObject_save_matrix_1 setmatrix |
548 654 452 -4 4 677 561 4 654 448 @a |
612 /DrawObject_save_matrix_1 matrix currentmatrix def |
549 -4 -4 790 565 4 4 804 448 @b |
613 426 422 -4 4 538 526 4 426 418 @a |
550 434 434 :M |
614 426 418 :M |
551 -.447(IFOL)A |
615 DrawObject_save_matrix_1 setmatrix |
552 622 434 :M |
616 /DrawObject_save_matrix_1 matrix currentmatrix def |
553 -.816(CTT)A |
617 -4 -4 790 530 4 4 894 418 @b |
554 772 434 :M |
618 786 526 :M |
555 -.669(HOL)A |
619 DrawObject_save_matrix_1 setmatrix |
556 959 434 :M |
620 /DrawObject_save_matrix_1 matrix currentmatrix def |
557 -1.362(LK)A |
621 588 422 -4 4 610 526 4 588 418 @a |
558 -4 -4 996 377 4 4 992 298 @b |
622 588 418 :M |
559 392 152 -4 4 452 223 4 392 148 @a |
623 DrawObject_save_matrix_1 setmatrix |
560 -4 -4 490 227 4 4 542 148 @b |
624 /DrawObject_save_matrix_1 matrix currentmatrix def |
561 376 134 :M |
625 -4 -4 718 530 4 4 732 418 @b |
562 -1.311(ZF)A |
626 714 526 :M |
563 509 134 :M |
627 DrawObject_save_matrix_1 setmatrix |
564 -.662(LCF)A |
628 /DrawObject_save_matrix_1 matrix currentmatrix def |
565 939 225 :M |
629 376 364 92 48 rC |
566 -.335(Modal)A |
630 376 364 :M |
567 939 279 :M |
631 DrawObject_save_matrix_1 setmatrix |
568 -.268(logics)A |
632 /DrawObject_save_matrix_1 matrix currentmatrix def |
569 -4 -4 471 377 4 4 467 298 @b |
633 gR |
570 434 284 :M |
634 gS 371 328 102 84 rC |
571 -.836(FOL)A |
635 376 400 :M |
|
636 f0_40 sf |
|
637 -.286(IFOL)A |
|
638 gR |
|
639 gS 556 364 76 48 rC |
|
640 556 364 :M |
|
641 DrawObject_save_matrix_1 setmatrix |
|
642 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
643 gR |
|
644 gS 551 328 86 84 rC |
|
645 556 400 :M |
|
646 f0_40 sf |
|
647 -.273(CTT)A |
|
648 gR |
|
649 gS 700 364 84 48 rC |
|
650 700 364 :M |
|
651 DrawObject_save_matrix_1 setmatrix |
|
652 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
653 gR |
|
654 gS 695 328 94 84 rC |
|
655 700 400 :M |
|
656 f0_40 sf |
|
657 -.094(HOL)A |
|
658 gR |
|
659 gS 880 364 56 48 rC |
|
660 880 364 :M |
|
661 DrawObject_save_matrix_1 setmatrix |
|
662 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
663 gR |
|
664 gS 875 328 66 84 rC |
|
665 880 400 :M |
|
666 f0_40 sf |
|
667 -.311(LK)A |
|
668 gR |
|
669 gS 0 0 2152 2912 rC |
|
670 -4 -4 916 361 4 4 912 285 @b |
|
671 4 lw |
|
672 912 357 :M |
|
673 DrawObject_save_matrix_1 setmatrix |
|
674 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
675 320 94 :M |
|
676 /DrawObject_save_matrix_2 matrix currentmatrix def |
|
677 336 152 -4 4 394 220 4 336 148 @a |
|
678 336 148 :M |
|
679 DrawObject_save_matrix_2 setmatrix |
|
680 /DrawObject_save_matrix_2 matrix currentmatrix def |
|
681 -4 -4 430 224 4 4 480 148 @b |
|
682 426 220 :M |
|
683 DrawObject_save_matrix_2 setmatrix |
|
684 /DrawObject_save_matrix_2 matrix currentmatrix def |
|
685 320 94 48 48 rC |
|
686 320 94 :M |
|
687 DrawObject_save_matrix_2 setmatrix |
|
688 /DrawObject_save_matrix_2 matrix currentmatrix def |
|
689 gR |
|
690 gS 315 58 58 84 rC |
|
691 320 130 :M |
|
692 f0_40 sf |
|
693 -.67(ZF)A |
|
694 gR |
|
695 gS 448 94 76 48 rC |
|
696 448 94 :M |
|
697 DrawObject_save_matrix_2 setmatrix |
|
698 DrawObject_save_matrix_1 setmatrix |
|
699 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
700 gR |
|
701 gS 443 58 86 84 rC |
|
702 448 130 :M |
|
703 f0_40 sf |
|
704 -.175(LCF)A |
|
705 gR |
|
706 gS 860 178 116 96 rC |
|
707 gR |
|
708 gS 855 142 126 132 rC |
|
709 860 214 :M |
|
710 f0_40 sf |
|
711 -.106(Modal)A |
|
712 975 262 :M |
|
713 DrawObject_save_matrix_1 setmatrix |
|
714 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
715 860 262 :M |
|
716 -.077( logics)A |
|
717 gR |
|
718 gS 0 0 2152 2912 rC |
|
719 -4 -4 412 360 4 4 408 284 @b |
|
720 4 lw |
|
721 408 356 :M |
|
722 DrawObject_save_matrix_1 setmatrix |
|
723 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
724 376 228 76 48 rC |
|
725 376 228 :M |
|
726 DrawObject_save_matrix_1 setmatrix |
|
727 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
728 gR |
|
729 gS 371 192 86 84 rC |
|
730 376 264 :M |
|
731 f0_40 sf |
|
732 -.273(FOL)A |
|
733 gR |
|
734 gS 680 230 132 48 rC |
|
735 680 230 :M |
|
736 DrawObject_save_matrix_1 setmatrix |
|
737 /DrawObject_save_matrix_1 matrix currentmatrix def |
|
738 gR |
|
739 gS 675 194 142 84 rC |
|
740 680 266 :M |
|
741 f0_40 sf |
|
742 -.026(HOLCF)A |
|
743 gR |
|
744 gS 0 0 2152 2912 rC |
|
745 -4 -4 748 361 4 4 744 285 @b |
|
746 4 lw |
|
747 744 357 :M |
|
748 DrawObject_save_matrix_1 setmatrix |
|
749 DrawObject_save_matrix_0 setmatrix |
572 endp |
750 endp |
573 %%Trailer |
751 %%Trailer |
574 end % md |
752 end % md |
575 %%EOF |
753 %%EOF |