1.1 --- a/doc-src/Isa-logics.eps Thu Apr 25 14:06:16 1996 +0200
1.2 +++ b/doc-src/Isa-logics.eps Thu Apr 25 17:31:07 1996 +0200
1.3 @@ -1,20 +1,20 @@
1.4 %!PS-Adobe-3.0 EPSF-3.0
1.5 -%%BoundingBox: 116 648 289 789
1.6 -%%Title: (set-I figures-Layer#1)
1.7 -%%Creator: (MacDraw II 1.1: LaserWriter 8 8.1.1)
1.8 -%%CreationDate: (11:19 am Sunday, January 9, 1994)
1.9 -%%For: ()
1.10 +%%BoundingBox: 106 651 274 788
1.11 +%%Title: (Isa-logics)
1.12 +%%Creator: (ClarisDraw: LaserWriter 8 8.1.1)
1.13 +%%CreationDate: (9:19 pm Wednesday, April 24, 1996)
1.14 +%%For: (Larry)
1.15 %%Pages: 1
1.16 -%%DocumentFonts: Helvetica
1.17 -%%DocumentNeededFonts: Helvetica
1.18 +%%DocumentFonts: Times-Roman
1.19 +%%DocumentNeededFonts: Times-Roman
1.20 %%DocumentSuppliedFonts:
1.21 %%DocumentData: Clean7Bit
1.22 %%PageOrder: Ascend
1.23 %%Orientation: Portrait
1.24 -%ADO_PaperArea: -129 -117 3379 2362
1.25 -%ADO_ImageableArea: 0 0 3254 2242
1.26 +%ADO_PaperArea: -124 -112 3244 2268
1.27 +%ADO_ImageableArea: 0 0 3124 2152
1.28 %%EndComments
1.29 -/md 150 dict def md begin
1.30 +/md 148 dict def md begin
1.31 /currentpacking where {pop /sc_oldpacking currentpacking def true setpacking}if
1.32 %%BeginFile: adobe_psp_basic
1.33 %%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
1.34 @@ -522,53 +522,231 @@
1.35 %%EndProlog
1.36 %%BeginSetup
1.37 md begin
1.38 -/pT[1 0 0 -1 28.079 810.927]def/mT[.24 0 0 -.24 28.079 810.927]def
1.39 +/pT[1 0 0 -1 28 811]def/mT[.25 0 0 -.25 28 811]def
1.40 /sD 16 dict def
1.41 -%%IncludeFont: Helvetica
1.42 -/f0_1/Helvetica :mre
1.43 -/f0_42 f0_1 42 scf
1.44 +%%IncludeFont: Times-Roman
1.45 +/f0_1/Times-Roman :mre
1.46 +/f0_40 f0_1 40 scf
1.47 /Courier findfont[10 0 0 -10 0 0]:mf setfont
1.48 +%PostScript Hack by Mike Brors 12/7/90
1.49 +/DisableNextSetRGBColor
1.50 + {
1.51 + userdict begin
1.52 + /setrgbcolor
1.53 + {
1.54 + pop
1.55 + pop
1.56 + pop
1.57 + userdict begin
1.58 + /setrgbcolor systemdict /setrgbcolor get def
1.59 + end
1.60 + } def
1.61 + end
1.62 +} bind def
1.63 +/bcarray where {
1.64 + pop
1.65 + bcarray 2 {
1.66 + /da 4 ps div def
1.67 + df setfont gsave cs wi
1.68 + 1 index 0 ne{exch da add exch}if grestore setcharwidth
1.69 + cs 0 0 smc da 0 smc da da smc 0 da smc c
1.70 + gray
1.71 + { gl}
1.72 + {1 setgray}ifelse
1.73 + da 2. div dup moveto show
1.74 + }bind put
1.75 +} if
1.76 +%
1.77 +% Used to snap to device pixels, 1/4th of the pixel in.
1.78 +/stp { % x y pl x y % Snap To Pixel, pixel (auto stroke adjust)
1.79 + transform
1.80 + 0.25 sub round 0.25 add exch
1.81 + 0.25 sub round 0.25 add exch
1.82 + itransform
1.83 +} bind def
1.84 +
1.85 +/snapmoveto { % x y m - % moveto, auto stroke adjust
1.86 + stp moveto
1.87 +} bind def
1.88 +
1.89 +/snaplineto { % x y l - % lineto, auto stroke adjust
1.90 + stp lineto
1.91 +} bind def
1.92 %%EndSetup
1.93 %%Page: 1 1
1.94 %%BeginPageSetup
1.95 initializepage
1.96 %%EndPageSetup
1.97 -gS 0 0 2242 3254 rC
1.98 +gS 0 0 2152 3124 rC
1.99 0 0 :M
1.100 -0 setlinecap
1.101 -currentscreen
1.102 -3 1 roll pop pop 60 45 3 -1 roll setscreen
1.103 -601 638 :M
1.104 -f0_42 sf
1.105 --.005(Pure Isabelle)A
1.106 +.25 0 translate
1.107 +/DrawObject_save_matrix_0 matrix currentmatrix def
1.108 +0 0 2152 2912 rC
1.109 +-40 -12 :M
1.110 +DrawObject_save_matrix_0 setmatrix
1.111 +/DrawObject_save_matrix_0 matrix currentmatrix def
1.112 +-40 -12 :M
1.113 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.114 +0 0 2152 2911 rC
1.115 +-40 -12 :M
1.116 +/DrawObject_save_matrix_2 matrix currentmatrix def
1.117 +-40 -12 :M
1.118 +DrawObject_save_matrix_2 setmatrix
1.119 +DrawObject_save_matrix_1 setmatrix
1.120 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.121 +558 556 208 48 rC
1.122 +558 556 :M
1.123 +DrawObject_save_matrix_1 setmatrix
1.124 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.125 +gR
1.126 +gS 553 520 218 84 rC
1.127 +558 592 :M
1.128 +f0_40 sf
1.129 +-.055(Pure Isabelle)A
1.130 +gR
1.131 +gS 0 0 2152 2912 rC
1.132 4 lw
1.133 -563 563 900 675 35.5 @s
1.134 -486 452 -4 4 602 561 4 486 448 @a
1.135 --4 -4 865 565 4 4 973 448 @b
1.136 -654 452 -4 4 677 561 4 654 448 @a
1.137 --4 -4 790 565 4 4 804 448 @b
1.138 -434 434 :M
1.139 --.447(IFOL)A
1.140 -622 434 :M
1.141 --.816(CTT)A
1.142 -772 434 :M
1.143 --.669(HOL)A
1.144 -959 434 :M
1.145 --1.362(LK)A
1.146 --4 -4 996 377 4 4 992 298 @b
1.147 -392 152 -4 4 452 223 4 392 148 @a
1.148 --4 -4 490 227 4 4 542 148 @b
1.149 -376 134 :M
1.150 --1.311(ZF)A
1.151 -509 134 :M
1.152 --.662(LCF)A
1.153 -939 225 :M
1.154 --.335(Modal)A
1.155 -939 279 :M
1.156 --.268(logics)A
1.157 --4 -4 471 377 4 4 467 298 @b
1.158 -434 284 :M
1.159 --.836(FOL)A
1.160 +518 528 806 636 32 @s
1.161 +168 24 :M
1.162 +DrawObject_save_matrix_1 setmatrix
1.163 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.164 +426 422 -4 4 538 526 4 426 418 @a
1.165 +426 418 :M
1.166 +DrawObject_save_matrix_1 setmatrix
1.167 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.168 +-4 -4 790 530 4 4 894 418 @b
1.169 +786 526 :M
1.170 +DrawObject_save_matrix_1 setmatrix
1.171 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.172 +588 422 -4 4 610 526 4 588 418 @a
1.173 +588 418 :M
1.174 +DrawObject_save_matrix_1 setmatrix
1.175 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.176 +-4 -4 718 530 4 4 732 418 @b
1.177 +714 526 :M
1.178 +DrawObject_save_matrix_1 setmatrix
1.179 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.180 +376 364 92 48 rC
1.181 +376 364 :M
1.182 +DrawObject_save_matrix_1 setmatrix
1.183 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.184 +gR
1.185 +gS 371 328 102 84 rC
1.186 +376 400 :M
1.187 +f0_40 sf
1.188 +-.286(IFOL)A
1.189 +gR
1.190 +gS 556 364 76 48 rC
1.191 +556 364 :M
1.192 +DrawObject_save_matrix_1 setmatrix
1.193 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.194 +gR
1.195 +gS 551 328 86 84 rC
1.196 +556 400 :M
1.197 +f0_40 sf
1.198 +-.273(CTT)A
1.199 +gR
1.200 +gS 700 364 84 48 rC
1.201 +700 364 :M
1.202 +DrawObject_save_matrix_1 setmatrix
1.203 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.204 +gR
1.205 +gS 695 328 94 84 rC
1.206 +700 400 :M
1.207 +f0_40 sf
1.208 +-.094(HOL)A
1.209 +gR
1.210 +gS 880 364 56 48 rC
1.211 +880 364 :M
1.212 +DrawObject_save_matrix_1 setmatrix
1.213 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.214 +gR
1.215 +gS 875 328 66 84 rC
1.216 +880 400 :M
1.217 +f0_40 sf
1.218 +-.311(LK)A
1.219 +gR
1.220 +gS 0 0 2152 2912 rC
1.221 +-4 -4 916 361 4 4 912 285 @b
1.222 +4 lw
1.223 +912 357 :M
1.224 +DrawObject_save_matrix_1 setmatrix
1.225 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.226 +320 94 :M
1.227 +/DrawObject_save_matrix_2 matrix currentmatrix def
1.228 +336 152 -4 4 394 220 4 336 148 @a
1.229 +336 148 :M
1.230 +DrawObject_save_matrix_2 setmatrix
1.231 +/DrawObject_save_matrix_2 matrix currentmatrix def
1.232 +-4 -4 430 224 4 4 480 148 @b
1.233 +426 220 :M
1.234 +DrawObject_save_matrix_2 setmatrix
1.235 +/DrawObject_save_matrix_2 matrix currentmatrix def
1.236 +320 94 48 48 rC
1.237 +320 94 :M
1.238 +DrawObject_save_matrix_2 setmatrix
1.239 +/DrawObject_save_matrix_2 matrix currentmatrix def
1.240 +gR
1.241 +gS 315 58 58 84 rC
1.242 +320 130 :M
1.243 +f0_40 sf
1.244 +-.67(ZF)A
1.245 +gR
1.246 +gS 448 94 76 48 rC
1.247 +448 94 :M
1.248 +DrawObject_save_matrix_2 setmatrix
1.249 +DrawObject_save_matrix_1 setmatrix
1.250 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.251 +gR
1.252 +gS 443 58 86 84 rC
1.253 +448 130 :M
1.254 +f0_40 sf
1.255 +-.175(LCF)A
1.256 +gR
1.257 +gS 860 178 116 96 rC
1.258 +gR
1.259 +gS 855 142 126 132 rC
1.260 +860 214 :M
1.261 +f0_40 sf
1.262 +-.106(Modal)A
1.263 +975 262 :M
1.264 +DrawObject_save_matrix_1 setmatrix
1.265 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.266 +860 262 :M
1.267 +-.077( logics)A
1.268 +gR
1.269 +gS 0 0 2152 2912 rC
1.270 +-4 -4 412 360 4 4 408 284 @b
1.271 +4 lw
1.272 +408 356 :M
1.273 +DrawObject_save_matrix_1 setmatrix
1.274 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.275 +376 228 76 48 rC
1.276 +376 228 :M
1.277 +DrawObject_save_matrix_1 setmatrix
1.278 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.279 +gR
1.280 +gS 371 192 86 84 rC
1.281 +376 264 :M
1.282 +f0_40 sf
1.283 +-.273(FOL)A
1.284 +gR
1.285 +gS 680 230 132 48 rC
1.286 +680 230 :M
1.287 +DrawObject_save_matrix_1 setmatrix
1.288 +/DrawObject_save_matrix_1 matrix currentmatrix def
1.289 +gR
1.290 +gS 675 194 142 84 rC
1.291 +680 266 :M
1.292 +f0_40 sf
1.293 +-.026(HOLCF)A
1.294 +gR
1.295 +gS 0 0 2152 2912 rC
1.296 +-4 -4 748 361 4 4 744 285 @b
1.297 +4 lw
1.298 +744 357 :M
1.299 +DrawObject_save_matrix_1 setmatrix
1.300 +DrawObject_save_matrix_0 setmatrix
1.301 endp
1.302 %%Trailer
1.303 end % md