doc-src/gfx/Isa-logics.eps
author haftmann
Wed, 30 Sep 2009 17:16:01 +0200
changeset 32781 19c01bd7f6ae
parent 5374 6ef3742b6153
permissions -rw-r--r--
moved lemmas about sup on bool to Lattices.thy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5374
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     1
%!PS-Adobe-3.0 EPSF-3.0
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     2
%%BoundingBox: 106 651 274 788
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     3
%%Title: (Isa-logics)
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     4
%%Creator: (ClarisDraw: LaserWriter 8 8.1.1)
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     5
%%CreationDate: (9:19 pm Wednesday, April 24, 1996)
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     6
%%For: (Larry)
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     7
%%Pages: 1
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     8
%%DocumentFonts: Times-Roman
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
     9
%%DocumentNeededFonts: Times-Roman
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    10
%%DocumentSuppliedFonts:
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    11
%%DocumentData: Clean7Bit
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    12
%%PageOrder: Ascend
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    13
%%Orientation: Portrait
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    14
%ADO_PaperArea: -124 -112 3244 2268
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    15
%ADO_ImageableArea: 0 0 3124 2152
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    16
%%EndComments
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    17
/md 148 dict def md begin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    18
/currentpacking where {pop /sc_oldpacking currentpacking def true setpacking}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    19
%%BeginFile: adobe_psp_basic
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    20
%%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    21
/bd{bind def}bind def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    22
/xdf{exch def}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    23
/xs{exch store}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    24
/ld{load def}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    25
/Z{0 def}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    26
/T/true
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    27
/F/false
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    28
/:L/lineto
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    29
/lw/setlinewidth
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    30
/:M/moveto
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    31
/rl/rlineto
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    32
/rm/rmoveto
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    33
/:C/curveto
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    34
/:T/translate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    35
/:K/closepath
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    36
/:mf/makefont
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    37
/gS/gsave
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    38
/gR/grestore
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    39
/np/newpath
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    40
14{ld}repeat
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    41
/$m matrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    42
/av 81 def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    43
/por true def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    44
/normland false def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    45
/psb-nosave{}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    46
/pse-nosave{}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    47
/us Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    48
/psb{/us save store}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    49
/pse{us restore}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    50
/level2
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    51
/languagelevel where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    52
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    53
pop languagelevel 2 ge
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    54
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    55
false
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    56
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    57
def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    58
/featurecleanup
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    59
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    60
stopped
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    61
cleartomark
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    62
countdictstack exch sub dup 0 gt
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    63
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    64
{end}repeat
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    65
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    66
pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    67
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    68
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    69
/noload Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    70
/startnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    71
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    72
{/noload save store}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    73
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    74
/endnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    75
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    76
{noload restore}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    77
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    78
level2 startnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    79
/setjob
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    80
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    81
statusdict/jobname 3 -1 roll put
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    82
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    83
/setcopies
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    84
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    85
userdict/#copies 3 -1 roll put
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    86
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    87
level2 endnoload level2 not startnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    88
/setjob
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    89
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    90
1 dict begin/JobName xdf currentdict end setuserparams
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    91
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    92
/setcopies
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    93
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    94
1 dict begin/NumCopies xdf currentdict end setpagedevice
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    95
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    96
level2 not endnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    97
/pm Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    98
/mT Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
    99
/sD Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   100
/realshowpage Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   101
/initializepage
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   102
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   103
/pm save store mT concat
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   104
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   105
/endp
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   106
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   107
pm restore showpage
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   108
}def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   109
/$c/DeviceRGB def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   110
/rectclip where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   111
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   112
pop/rC/rectclip ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   113
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   114
/rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   115
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   116
np 4 2 roll
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   117
:M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   118
1 index 0 rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   119
0 exch rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   120
neg 0 rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   121
:K
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   122
clip np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   123
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   124
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   125
/rectfill where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   126
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   127
pop/rF/rectfill ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   128
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   129
/rF
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   130
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   131
gS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   132
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   133
4 2 roll
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   134
:M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   135
1 index 0 rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   136
0 exch rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   137
neg 0 rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   138
fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   139
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   140
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   141
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   142
/rectstroke where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   143
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   144
pop/rS/rectstroke ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   145
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   146
/rS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   147
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   148
gS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   149
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   150
4 2 roll
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   151
:M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   152
1 index 0 rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   153
0 exch rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   154
neg 0 rl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   155
:K
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   156
stroke
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   157
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   158
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   159
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   160
%%EndFile
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   161
%%BeginFile: adobe_psp_colorspace_level1
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   162
%%Copyright: Copyright 1991-1993 Adobe Systems Incorporated. All Rights Reserved.
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   163
/G/setgray ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   164
/:F/setrgbcolor ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   165
%%EndFile
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   166
%%BeginFile: adobe_psp_uniform_graphics
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   167
%%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   168
/@a
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   169
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   170
np :M 0 rl :L 0 exch rl 0 rl :L fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   171
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   172
/@b
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   173
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   174
np :M 0 rl 0 exch rl :L 0 rl 0 exch rl fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   175
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   176
/arct where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   177
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   178
pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   179
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   180
/arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   181
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   182
arcto pop pop pop pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   183
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   184
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   185
/x1 Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   186
/x2 Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   187
/y1 Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   188
/y2 Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   189
/rad Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   190
/@q
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   191
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   192
/rad xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   193
/y2 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   194
/x2 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   195
/y1 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   196
/x1 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   197
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   198
x2 x1 add 2 div y1 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   199
x2 y1 x2 y2 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   200
x2 y2 x1 y2 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   201
x1 y2 x1 y1 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   202
x1 y1 x2 y1 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   203
fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   204
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   205
/@s
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   206
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   207
/rad xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   208
/y2 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   209
/x2 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   210
/y1 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   211
/x1 xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   212
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   213
x2 x1 add 2 div y1 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   214
x2 y1 x2 y2 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   215
x2 y2 x1 y2 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   216
x1 y2 x1 y1 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   217
x1 y1 x2 y1 rad arct
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   218
:K
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   219
stroke
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   220
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   221
/@i
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   222
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   223
np 0 360 arc fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   224
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   225
/@j
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   226
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   227
gS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   228
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   229
:T
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   230
scale
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   231
0 0 .5 0 360 arc
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   232
fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   233
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   234
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   235
/@e
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   236
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   237
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   238
0 360 arc
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   239
:K
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   240
stroke
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   241
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   242
/@f
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   243
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   244
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   245
$m currentmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   246
pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   247
:T
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   248
scale
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   249
0 0 .5 0 360 arc
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   250
:K
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   251
$m setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   252
stroke
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   253
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   254
/@k
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   255
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   256
gS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   257
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   258
:T
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   259
0 0 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   260
0 0 5 2 roll
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   261
arc fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   262
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   263
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   264
/@l
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   265
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   266
gS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   267
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   268
:T
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   269
0 0 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   270
scale
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   271
0 0 .5 5 -2 roll arc
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   272
fill
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   273
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   274
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   275
/@m
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   276
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   277
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   278
arc
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   279
stroke
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   280
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   281
/@n
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   282
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   283
np
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   284
$m currentmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   285
pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   286
:T
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   287
scale
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   288
0 0 .5 5 -2 roll arc
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   289
$m setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   290
stroke
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   291
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   292
%%EndFile
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   293
%%BeginFile: adobe_psp_customps
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   294
%%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   295
/$t Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   296
/$p Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   297
/$s Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   298
/$o 1. def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   299
/2state? false def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   300
/ps Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   301
level2 startnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   302
/pushcolor/currentrgbcolor ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   303
/popcolor/setrgbcolor ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   304
/setcmykcolor where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   305
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   306
pop/currentcmykcolor where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   307
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   308
pop/pushcolor/currentcmykcolor ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   309
/popcolor/setcmykcolor ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   310
}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   311
}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   312
level2 endnoload level2 not startnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   313
/pushcolor
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   314
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   315
currentcolorspace $c eq
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   316
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   317
currentcolor currentcolorspace true
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   318
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   319
currentcmykcolor false
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   320
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   321
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   322
/popcolor
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   323
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   324
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   325
setcolorspace setcolor
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   326
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   327
setcmykcolor
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   328
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   329
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   330
level2 not endnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   331
/pushstatic
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   332
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   333
ps
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   334
2state?
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   335
$o
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   336
$t
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   337
$p
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   338
$s
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   339
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   340
/popstatic
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   341
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   342
/$s xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   343
/$p xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   344
/$t xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   345
/$o xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   346
/2state? xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   347
/ps xs
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   348
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   349
/pushgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   350
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   351
save errordict/nocurrentpoint{pop 0 0}put
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   352
currentpoint
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   353
3 -1 roll restore
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   354
pushcolor
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   355
currentlinewidth
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   356
currentlinecap
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   357
currentlinejoin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   358
currentdash exch aload length
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   359
np clippath pathbbox
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   360
$m currentmatrix aload pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   361
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   362
/popgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   363
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   364
$m astore setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   365
2 index sub exch
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   366
3 index sub exch
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   367
rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   368
array astore exch setdash
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   369
setlinejoin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   370
setlinecap
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   371
lw
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   372
popcolor
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   373
np :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   374
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   375
/bu
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   376
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   377
pushgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   378
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   379
pushgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   380
2state?
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   381
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   382
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   383
pushgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   384
}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   385
pushstatic
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   386
pm restore
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   387
mT concat
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   388
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   389
/bn
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   390
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   391
/pm save store
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   392
popstatic
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   393
popgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   394
gS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   395
popgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   396
2state?
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   397
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   398
gS
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   399
popgstate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   400
}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   401
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   402
/cpat{pop 64 div G 8{pop}repeat}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   403
%%EndFile
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   404
%%BeginFile: adobe_psp_basic_text
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   405
%%Copyright: Copyright 1990-1993 Adobe Systems Incorporated. All Rights Reserved.
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   406
/S/show ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   407
/A{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   408
0.0 exch ashow
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   409
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   410
/R{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   411
0.0 exch 32 exch widthshow
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   412
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   413
/W{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   414
0.0 3 1 roll widthshow
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   415
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   416
/J{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   417
0.0 32 4 2 roll 0.0 exch awidthshow
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   418
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   419
/V{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   420
0.0 4 1 roll 0.0 exch awidthshow
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   421
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   422
/fcflg true def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   423
/fc{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   424
fcflg{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   425
vmstatus exch sub 50000 lt{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   426
(%%[ Warning: Running out of memory ]%%\r)print flush/fcflg false store
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   427
}if pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   428
}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   429
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   430
/$f[1 0 0 -1 0 0]def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   431
/:ff{$f :mf}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   432
/MacEncoding StandardEncoding 256 array copy def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   433
MacEncoding 39/quotesingle put
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   434
MacEncoding 96/grave put
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   435
/Adieresis/Aring/Ccedilla/Eacute/Ntilde/Odieresis/Udieresis/aacute
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   436
/agrave/acircumflex/adieresis/atilde/aring/ccedilla/eacute/egrave
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   437
/ecircumflex/edieresis/iacute/igrave/icircumflex/idieresis/ntilde/oacute
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   438
/ograve/ocircumflex/odieresis/otilde/uacute/ugrave/ucircumflex/udieresis
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   439
/dagger/degree/cent/sterling/section/bullet/paragraph/germandbls
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   440
/registered/copyright/trademark/acute/dieresis/notequal/AE/Oslash
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   441
/infinity/plusminus/lessequal/greaterequal/yen/mu/partialdiff/summation
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   442
/product/pi/integral/ordfeminine/ordmasculine/Omega/ae/oslash
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   443
/questiondown/exclamdown/logicalnot/radical/florin/approxequal/Delta/guillemotleft
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   444
/guillemotright/ellipsis/space/Agrave/Atilde/Otilde/OE/oe
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   445
/endash/emdash/quotedblleft/quotedblright/quoteleft/quoteright/divide/lozenge
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   446
/ydieresis/Ydieresis/fraction/currency/guilsinglleft/guilsinglright/fi/fl
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   447
/daggerdbl/periodcentered/quotesinglbase/quotedblbase/perthousand
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   448
/Acircumflex/Ecircumflex/Aacute/Edieresis/Egrave/Iacute/Icircumflex/Idieresis/Igrave
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   449
/Oacute/Ocircumflex/apple/Ograve/Uacute/Ucircumflex/Ugrave/dotlessi/circumflex/tilde
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   450
/macron/breve/dotaccent/ring/cedilla/hungarumlaut/ogonek/caron
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   451
MacEncoding 128 128 getinterval astore pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   452
level2 startnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   453
/copyfontdict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   454
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   455
findfont dup length dict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   456
begin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   457
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   458
1 index/FID ne{def}{pop pop}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   459
}forall
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   460
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   461
level2 endnoload level2 not startnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   462
/copyfontdict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   463
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   464
findfont dup length dict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   465
copy
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   466
begin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   467
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   468
level2 not endnoload
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   469
md/fontname known not{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   470
/fontname/customfont def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   471
}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   472
/Encoding Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   473
/:mre
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   474
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   475
copyfontdict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   476
/Encoding MacEncoding def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   477
fontname currentdict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   478
end
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   479
definefont :ff def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   480
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   481
/:bsr
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   482
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   483
copyfontdict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   484
/Encoding Encoding 256 array copy def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   485
Encoding dup
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   486
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   487
/pd{put dup}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   488
/:esr
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   489
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   490
pop pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   491
fontname currentdict
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   492
end
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   493
definefont :ff def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   494
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   495
/scf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   496
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   497
scalefont def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   498
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   499
/scf-non
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   500
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   501
$m scale :mf setfont
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   502
}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   503
/ps Z
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   504
/fz{/ps xs}bd
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   505
/sf/setfont ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   506
/cF/currentfont ld
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   507
/mbf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   508
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   509
/makeblendedfont where
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   510
{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   511
pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   512
makeblendedfont
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   513
/ABlend exch definefont
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   514
}{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   515
pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   516
}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   517
def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   518
}def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   519
%%EndFile
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   520
/currentpacking where {pop sc_oldpacking setpacking}if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   521
end		% md
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   522
%%EndProlog
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   523
%%BeginSetup
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   524
md begin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   525
/pT[1 0 0 -1 28 811]def/mT[.25 0 0 -.25 28 811]def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   526
/sD 16 dict def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   527
%%IncludeFont: Times-Roman
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   528
/f0_1/Times-Roman :mre
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   529
/f0_40 f0_1 40 scf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   530
/Courier findfont[10 0 0 -10 0 0]:mf setfont
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   531
%PostScript Hack by Mike Brors 12/7/90
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   532
/DisableNextSetRGBColor
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   533
	{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   534
	userdict begin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   535
	/setrgbcolor 
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   536
		{
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   537
		pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   538
		pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   539
		pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   540
		userdict begin
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   541
		/setrgbcolor systemdict /setrgbcolor get def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   542
		end
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   543
		} def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   544
	end
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   545
} bind def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   546
/bcarray where {
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   547
	pop
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   548
	bcarray 2 {
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   549
		/da 4 ps div def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   550
		df setfont gsave cs wi
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   551
		1 index 0 ne{exch da add exch}if grestore setcharwidth
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   552
		cs 0 0 smc da 0 smc da da smc 0 da smc c
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   553
		gray
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   554
		{ gl}
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   555
		{1 setgray}ifelse
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   556
		da 2. div dup moveto show
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   557
	}bind put
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   558
} if
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   559
%
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   560
% Used to snap to device pixels, 1/4th of the pixel in.
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   561
/stp {  % x y  pl  x y                % Snap To Pixel, pixel  (auto stroke adjust)
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   562
	transform
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   563
	0.25 sub round 0.25 add exch
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   564
	0.25 sub round 0.25 add exch
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   565
	itransform
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   566
} bind def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   567
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   568
/snapmoveto { % x y  m  -             % moveto, auto stroke adjust
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   569
	stp  moveto
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   570
} bind def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   571
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   572
/snaplineto { % x y  l  -             % lineto, auto stroke adjust
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   573
	stp lineto
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   574
} bind def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   575
%%EndSetup
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   576
%%Page: 1 1
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   577
%%BeginPageSetup
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   578
initializepage
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   579
%%EndPageSetup
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   580
gS 0 0 2152 3124 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   581
0 0 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   582
.25 0 translate
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   583
/DrawObject_save_matrix_0 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   584
0 0 2152 2912 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   585
-40 -12 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   586
DrawObject_save_matrix_0 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   587
/DrawObject_save_matrix_0 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   588
-40 -12 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   589
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   590
0 0 2152 2911 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   591
-40 -12 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   592
/DrawObject_save_matrix_2 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   593
-40 -12 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   594
DrawObject_save_matrix_2 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   595
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   596
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   597
558 556 208 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   598
558 556 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   599
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   600
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   601
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   602
gS 553 520 218 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   603
558 592 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   604
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   605
-.055(Pure Isabelle)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   606
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   607
gS 0 0 2152 2912 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   608
4 lw
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   609
518 528 806 636 32 @s
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   610
168 24 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   611
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   612
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   613
426 422 -4 4 538 526 4 426 418 @a
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   614
426 418 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   615
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   616
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   617
-4 -4 790 530 4 4 894 418 @b
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   618
786 526 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   619
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   620
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   621
588 422 -4 4 610 526 4 588 418 @a
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   622
588 418 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   623
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   624
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   625
-4 -4 718 530 4 4 732 418 @b
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   626
714 526 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   627
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   628
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   629
376 364 92 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   630
376 364 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   631
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   632
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   633
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   634
gS 371 328 102 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   635
376 400 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   636
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   637
-.286(IFOL)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   638
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   639
gS 556 364 76 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   640
556 364 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   641
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   642
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   643
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   644
gS 551 328 86 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   645
556 400 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   646
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   647
-.273(CTT)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   648
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   649
gS 700 364 84 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   650
700 364 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   651
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   652
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   653
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   654
gS 695 328 94 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   655
700 400 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   656
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   657
-.094(HOL)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   658
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   659
gS 880 364 56 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   660
880 364 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   661
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   662
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   663
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   664
gS 875 328 66 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   665
880 400 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   666
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   667
-.311(LK)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   668
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   669
gS 0 0 2152 2912 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   670
-4 -4 916 361 4 4 912 285 @b
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   671
4 lw
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   672
912 357 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   673
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   674
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   675
320 94 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   676
/DrawObject_save_matrix_2 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   677
336 152 -4 4 394 220 4 336 148 @a
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   678
336 148 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   679
DrawObject_save_matrix_2 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   680
/DrawObject_save_matrix_2 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   681
-4 -4 430 224 4 4 480 148 @b
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   682
426 220 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   683
DrawObject_save_matrix_2 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   684
/DrawObject_save_matrix_2 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   685
320 94 48 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   686
320 94 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   687
DrawObject_save_matrix_2 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   688
/DrawObject_save_matrix_2 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   689
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   690
gS 315 58 58 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   691
320 130 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   692
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   693
-.67(ZF)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   694
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   695
gS 448 94 76 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   696
448 94 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   697
DrawObject_save_matrix_2 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   698
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   699
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   700
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   701
gS 443 58 86 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   702
448 130 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   703
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   704
-.175(LCF)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   705
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   706
gS 860 178 116 96 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   707
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   708
gS 855 142 126 132 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   709
860 214 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   710
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   711
-.106(Modal)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   712
975 262 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   713
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   714
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   715
860 262 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   716
-.077(  logics)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   717
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   718
gS 0 0 2152 2912 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   719
-4 -4 412 360 4 4 408 284 @b
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   720
4 lw
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   721
408 356 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   722
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   723
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   724
376 228 76 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   725
376 228 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   726
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   727
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   728
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   729
gS 371 192 86 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   730
376 264 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   731
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   732
-.273(FOL)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   733
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   734
gS 680 230 132 48 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   735
680 230 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   736
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   737
/DrawObject_save_matrix_1 matrix currentmatrix def
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   738
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   739
gS 675 194 142 84 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   740
680 266 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   741
f0_40 sf
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   742
-.026(HOLCF)A
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   743
gR
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   744
gS 0 0 2152 2912 rC
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   745
-4 -4 748 361 4 4 744 285 @b
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   746
4 lw
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   747
744 357 :M
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   748
DrawObject_save_matrix_1 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   749
DrawObject_save_matrix_0 setmatrix
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   750
endp
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   751
%%Trailer
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   752
end		% md
6ef3742b6153 moved images to gfx dir;
wenzelm
parents:
diff changeset
   753
%%EOF