wneuper/isac: doc/fig/uc5-2.eps@148b9c4ccc34

     1 %!PS-Adobe-2.0 EPSF-2.0

     2 %%Title: uc5-2.eps

     3 %%Creator: fig2dev Version 3.2.3 Patchlevel

     4 %%CreationDate: Tue Nov  5 15:36:05 2002

     5 %%For: neuper@neuper (Walther Neuper)

     6 %%BoundingBox: 0 0 1166 839

     7 %%Magnification: 1.0000

     8 %%EndComments

     9 /$F2psDict 200 dict def

    10 $F2psDict begin

    11 $F2psDict /mtrx matrix put

    12 /col-1 {0 setgray} bind def

    13 /col0 {0.000 0.000 0.000 srgb} bind def

    14 /col1 {0.000 0.000 1.000 srgb} bind def

    15 /col2 {0.000 1.000 0.000 srgb} bind def

    16 /col3 {0.000 1.000 1.000 srgb} bind def

    17 /col4 {1.000 0.000 0.000 srgb} bind def

    18 /col5 {1.000 0.000 1.000 srgb} bind def

    19 /col6 {1.000 1.000 0.000 srgb} bind def

    20 /col7 {1.000 1.000 1.000 srgb} bind def

    21 /col8 {0.000 0.000 0.560 srgb} bind def

    22 /col9 {0.000 0.000 0.690 srgb} bind def

    23 /col10 {0.000 0.000 0.820 srgb} bind def

    24 /col11 {0.530 0.810 1.000 srgb} bind def

    25 /col12 {0.000 0.560 0.000 srgb} bind def

    26 /col13 {0.000 0.690 0.000 srgb} bind def

    27 /col14 {0.000 0.820 0.000 srgb} bind def

    28 /col15 {0.000 0.560 0.560 srgb} bind def

    29 /col16 {0.000 0.690 0.690 srgb} bind def

    30 /col17 {0.000 0.820 0.820 srgb} bind def

    31 /col18 {0.560 0.000 0.000 srgb} bind def

    32 /col19 {0.690 0.000 0.000 srgb} bind def

    33 /col20 {0.820 0.000 0.000 srgb} bind def

    34 /col21 {0.560 0.000 0.560 srgb} bind def

    35 /col22 {0.690 0.000 0.690 srgb} bind def

    36 /col23 {0.820 0.000 0.820 srgb} bind def

    37 /col24 {0.500 0.190 0.000 srgb} bind def

    38 /col25 {0.630 0.250 0.000 srgb} bind def

    39 /col26 {0.750 0.380 0.000 srgb} bind def

    40 /col27 {1.000 0.500 0.500 srgb} bind def

    41 /col28 {1.000 0.630 0.630 srgb} bind def

    42 /col29 {1.000 0.750 0.750 srgb} bind def

    43 /col30 {1.000 0.880 0.880 srgb} bind def

    44 /col31 {1.000 0.840 0.000 srgb} bind def

    45 /col32 {1.000 1.000 1.000 srgb} bind def

    47 end

    48 save

    49 newpath 0 839 moveto 0 0 lineto 1166 0 lineto 1166 839 lineto closepath clip newpath

    50 3.0 836.0 translate

    51 1 -1 scale

    53 /cp {closepath} bind def

    54 /ef {eofill} bind def

    55 /gr {grestore} bind def

    56 /gs {gsave} bind def

    57 /sa {save} bind def

    58 /rs {restore} bind def

    59 /l {lineto} bind def

    60 /m {moveto} bind def

    61 /rm {rmoveto} bind def

    62 /n {newpath} bind def

    63 /s {stroke} bind def

    64 /sh {show} bind def

    65 /slc {setlinecap} bind def

    66 /slj {setlinejoin} bind def

    67 /slw {setlinewidth} bind def

    68 /srgb {setrgbcolor} bind def

    69 /rot {rotate} bind def

    70 /sc {scale} bind def

    71 /sd {setdash} bind def

    72 /ff {findfont} bind def

    73 /sf {setfont} bind def

    74 /scf {scalefont} bind def

    75 /sw {stringwidth} bind def

    76 /tr {translate} bind def

    77 /tnt {dup dup currentrgbcolor

    78   4 -2 roll dup 1 exch sub 3 -1 roll mul add

    79   4 -2 roll dup 1 exch sub 3 -1 roll mul add

    80   4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}

    81   bind def

    82 /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul

    83   4 -2 roll mul srgb} bind def

    84 /reencdict 12 dict def /ReEncode { reencdict begin

    85 /newcodesandnames exch def /newfontname exch def /basefontname exch def

    86 /basefontdict basefontname findfont def /newfont basefontdict maxlength dict def

    87 basefontdict { exch dup /FID ne { dup /Encoding eq

    88 { exch dup length array copy newfont 3 1 roll put }

    89 { exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall

    90 newfont /FontName newfontname put newcodesandnames aload pop

    91 128 1 255 { newfont /Encoding get exch /.notdef put } for

    92 newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat

    93 newfontname newfont definefont pop end } def

    94 /isovec [

    95 8#055 /minus 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde

    96 8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis

    97 8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron

    98 8#220 /dotlessi 8#230 /oe 8#231 /OE

    99 8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling

   100 8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis

   101 8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot

   102 8#255 /hypen 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus

   103 8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph

   104 8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine

   105 8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf

   106 8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute

   107 8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring

   108 8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute

   109 8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute

   110 8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve

   111 8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply

   112 8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex

   113 8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave

   114 8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring

   115 8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute

   116 8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute

   117 8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve

   118 8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide

   119 8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex

   120 8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def

   121 /Courier /Courier-iso isovec ReEncode

   122  /DrawEllipse {

   123 	/endangle exch def

   124 	/startangle exch def

   125 	/yrad exch def

   126 	/xrad exch def

   127 	/y exch def

   128 	/x exch def

   129 	/savematrix mtrx currentmatrix def

   130 	x y tr xrad yrad sc 0 0 1 startangle endangle arc

   131 	closepath

   132 	savematrix setmatrix

   133 	} def

   135 /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def

   136 /$F2psEnd {$F2psEnteredState restore end} def

   138 $F2psBegin

   139 %%Page: 1 1

   140 10 setmiterlimit

   141  0.06299 0.06299 sc

   142 /Courier-iso ff 360.00 scf sf

   143 2700 5895 m

   144 gs 1 -1 sc (XML) col0 sh gr

   145 /Courier-iso ff 360.00 scf sf

   146 2160 3600 m

   147 gs 1 -1 sc (level) col0 sh gr

   148 /Courier-iso ff 360.00 scf sf

   149 1440 3915 m

   150 gs 1 -1 sc (headline) col0 sh gr

   151 /Courier-iso ff 360.00 scf sf

   152 3915 3375 m

   153 gs 1 -1 sc (text) col0 sh gr

   154 /Courier-iso ff 360.00 scf sf

   155 3870 3690 m

   156 gs 1 -1 sc (formulae) col0 sh gr

   157 /Courier-iso ff 360.00 scf sf

   158 3870 4050 m

   159 gs 1 -1 sc (figures) col0 sh gr

   160 /Courier-iso ff 360.00 scf sf

   161 5850 5445 m

   162 gs 1 -1 sc (formaliz.) col0 sh gr

   163 /Courier-iso ff 360.00 scf sf

   164 5850 5040 m

   165 gs 1 -1 sc (example) col0 sh gr

   166 /Courier-iso ff 360.00 scf sf

   167 5850 6660 m

   168 gs 1 -1 sc (structure) col0 sh gr

   169 /Courier-iso ff 360.00 scf sf

   170 10890 3555 m

   171 gs 1 -1 sc (example) col0 sh gr

   172 /Courier-iso ff 360.00 scf sf

   173 10845 3960 m

   174 gs 1 -1 sc (formaliz.) col0 sh gr

   175 /Courier-iso ff 360.00 scf sf

   176 7740 3780 m

   177 gs 1 -1 sc (structure) col0 sh gr

   178 30.000 slw

   179 % Ellipse

   180 n 13566 6368 307 307 0 360 DrawEllipse gs col32 1.00 shd ef gr gs col32 s gr

   182 % Ellipse

   183 n 15857 8234 307 307 0 360 DrawEllipse gs col32 1.00 shd ef gr gs col32 s gr

   185 % Polyline

   186 0.000 slw

   187 n 1417 4724 m 5669 4724 l 5669 7559 l 1417 7559 l

   188  cp gs col32 1.00 shd ef gr

   189 % Polyline

   190 30.000 slw

   191 n 1417 4724 m 5669 4724 l 5669 7559 l 1417 7559 l

   192  cp gs col0 s gr

   193 % Polyline

   194 n 1228 4889 m 5480 4889 l 5480 7724 l 1228 7724 l

   195  cp gs col32 1.00 shd ef gr gs col32 s gr

   196 % Polyline

   197 n 1228 4889 m 5480 4889 l 5480 7724 l 1228 7724 l

   198  cp gs col0 s gr

   199 % Polyline

   200 n 8031 4724 m 12283 4724 l 12283 7559 l 8031 7559 l

   201  cp gs col32 1.00 shd ef gr gs col32 s gr

   202 % Polyline

   203 n 8031 4724 m 12283 4724 l 12283 7559 l 8031 7559 l

   204  cp gs col0 s gr

   205 % Polyline

   206  [472 236 15 236] 0 sd

   207 n 0 9448 m

   208  15118 9448 l gs col0 s gr  [] 0 sd

   209 % Polyline

   210  [472 236 15 236] 0 sd

   211 n 944 8976 m 17480 8976 l 17480 9448 l 944 9448 l

   212  cp gs col32 1.00 shd ef gr gs col32 s gr  [] 0 sd

   213 % Polyline

   214 n 944 8976 m 17480 8976 l 17480 9448 l 944 9448 l

   215  cp gs col0 s gr

   216 % Polyline

   217 n 944 9448 m 8976 9448 l 8976 13228 l 944 13228 l

   218  cp gs col32 1.00 shd ef gr gs col32 s gr

   219 % Polyline

   220 n 944 9448 m 8976 9448 l 8976 13228 l 944 13228 l

   221  cp gs col0 s gr

   222 % Polyline

   223 n 8976 9448 m 17480 9448 l 17480 10866 l 8976 10866 l

   224  cp gs col32 1.00 shd ef gr gs col32 s gr

   225 % Polyline

   226 n 8976 9448 m 17480 9448 l 17480 10866 l 8976 10866 l

   227  cp gs col0 s gr

   228 % Polyline

   229 n 8976 10866 m 17480 10866 l 17480 13228 l 8976 13228 l

   230  cp gs col32 1.00 shd ef gr gs col32 s gr

   231 % Polyline

   232 n 8976 10866 m 17480 10866 l 17480 13228 l 8976 13228 l

   233  cp gs col0 s gr

   234 % Polyline

   235 n 14645 5196 m 17952 5196 l 17952 7559 l 14645 7559 l

   236  cp gs col32 1.00 shd ef gr gs col32 s gr

   237 % Polyline

   238 n 14645 5196 m 17952 5196 l 17952 7559 l 14645 7559 l

   239  cp gs col0 s gr

   240 % Polyline

   241 n 1417 0 m 5669 0 l 5669 2834 l 1417 2834 l

   242  cp gs col32 1.00 shd ef gr gs col32 s gr

   243 % Polyline

   244 n 1417 0 m 5669 0 l 5669 2834 l 1417 2834 l

   245  cp gs col0 s gr

   246 % Polyline

   247 n 8031 0 m 12283 0 l 12283 2834 l 8031 2834 l

   248  cp gs col32 1.00 shd ef gr gs col32 s gr

   249 % Polyline

   250 n 8031 0 m 12283 0 l 12283 2834 l 8031 2834 l

   251  cp gs col0 s gr

   252 % Polyline

   253 n 14173 0 m 18425 0 l 18425 2834 l 14173 2834 l

   254  cp gs col32 1.00 shd ef gr gs col32 s gr

   255 % Polyline

   256 n 14173 0 m 18425 0 l 18425 2834 l 14173 2834 l

   257  cp gs col0 s gr

   258 % Polyline

   259 gs  clippath

   260 8091 5760 m 8091 5580 l 7651 5580 l 8011 5670 l 7651 5760 l cp

   261 eoclip

   262 n 5714 5670 m

   263  8076 5670 l gs col0 s gr gr

   265 % arrowhead

   266 n 7651 5760 m 8011 5670 l 7651 5580 l 7651 5760 l  cp gs 0.00 setgray ef gr  col0 s

   267 % Polyline

   268 gs  clippath

   269 8046 6975 m 8046 6795 l 7606 6795 l 7966 6885 l 7606 6975 l cp

   270 eoclip

   271 n 5669 6885 m

   272  8031 6885 l gs col0 s gr gr

   274 % arrowhead

   275 n 7606 6975 m 7966 6885 l 7606 6795 l 7606 6975 l  cp gs 0.00 setgray ef gr  col0 s

   276 % Polyline

   277 gs  clippath

   278 3285 4739 m 3465 4739 l 3465 4299 l 3375 4659 l 3285 4299 l cp

   279 eoclip

   280 n 3375 2834 m

   281  3375 4724 l gs col0 s gr gr

   283 % arrowhead

   284 n 3285 4299 m 3375 4659 l 3465 4299 l 3285 4299 l  cp gs 0.00 setgray ef gr  col0 s

   285 % Polyline

   286 gs  clippath

   287 3690 4739 m 3870 4739 l 3870 4299 l 3780 4659 l 3690 4299 l cp

   288 eoclip

   289 n 3780 2834 m

   290  3780 4724 l gs col0 s gr gr

   292 % arrowhead

   293 n 3690 4299 m 3780 4659 l 3870 4299 l 3690 4299 l  cp gs 0.00 setgray ef gr  col0 s

   294 % Polyline

   295 gs  clippath

   296 9945 2819 m 9765 2819 l 9765 3259 l 9855 2899 l 9945 3259 l cp

   297 eoclip

   298 n 9855 2834 m

   299  9855 4724 l gs col0 s gr gr

   301 % arrowhead

   302 n 9945 3259 m 9855 2899 l 9765 3259 l 9945 3259 l  cp gs 0.00 setgray ef gr  col0 s

   303 % Polyline

   304 gs  clippath

   305 10710 2819 m 10530 2819 l 10530 3259 l 10620 2899 l 10710 3259 l cp

   306 eoclip

   307 n 10620 2834 m

   308  10620 4724 l gs col0 s gr gr

   310 % arrowhead

   311 n 10710 3259 m 10620 2899 l 10530 3259 l 10710 3259 l  cp gs 0.00 setgray ef gr  col0 s

   312 /Courier-iso ff 345.00 scf sf

   313 10157 6283 m

   314 gs 1 -1 sc (Browsers) dup sw pop 2 div neg 0 rm  col0 sh gr

   315 /Courier-iso ff 345.00 scf sf

   316 8964 9307 m

   317 gs 1 -1 sc (wrapper) dup sw pop 2 div neg 0 rm  col0 sh gr

   318 /Courier-iso ff 345.00 scf sf

   319 4901 11007 m

   320 gs 1 -1 sc (browser-) dup sw pop 2 div neg 0 rm  col0 sh gr

   321 /Courier-iso ff 345.00 scf sf

   322 4901 11385 m

   323 gs 1 -1 sc (generators) dup sw pop 2 div neg 0 rm  col0 sh gr

   324 /Courier-iso ff 345.00 scf sf

   325 4901 11763 m

   326 gs 1 -1 sc (\(structure\)) dup sw pop 2 div neg 0 rm  col0 sh gr

   327 /Courier-iso ff 345.00 scf sf

   328 13192 10275 m

   329 gs 1 -1 sc (dialogeditor) dup sw pop 2 div neg 0 rm  col0 sh gr

   330 /Courier-iso ff 345.00 scf sf

   331 13169 12188 m

   332 gs 1 -1 sc (ME) dup sw pop 2 div neg 0 rm  col0 sh gr

   333 /Courier-iso ff 345.00 scf sf

   334 16240 6357 m

   335 gs 1 -1 sc (prove-) dup sw pop 2 div neg 0 rm  col0 sh gr

   336 /Courier-iso ff 345.00 scf sf

   337 16240 6735 m

   338 gs 1 -1 sc (state) dup sw pop 2 div neg 0 rm  col0 sh gr

   339 /Courier-iso ff 345.00 scf sf

   340 3330 1417 m

   341 gs 1 -1 sc (description) dup sw pop 2 div neg 0 rm  col0 sh gr

   342 /Courier-iso ff 345.00 scf sf

   343 3330 1795 m

   344 gs 1 -1 sc (editor) dup sw pop 2 div neg 0 rm  col0 sh gr

   345 /Courier-iso ff 345.00 scf sf

   346 16535 1417 m

   347 gs 1 -1 sc (Worksheet) dup sw pop 2 div neg 0 rm  col0 sh gr

   348 /Courier-iso ff 345.00 scf sf

   349 3150 6030 m

   350 gs 1 -1 sc (formalizations) dup sw pop 2 div neg 0 rm  col0 sh gr

   351 /Courier-iso ff 345.00 scf sf

   352 2520 5625 m

   353 gs 1 -1 sc (examples) dup sw pop 2 div neg 0 rm  col0 sh gr

   354 /Courier-iso ff 345.00 scf sf

   355 2610 7245 m

   356 gs 1 -1 sc (structure) dup sw pop 2 div neg 0 rm  col0 sh gr

   357 /Courier-iso ff 345.00 scf sf

   358 10181 1370 m

   359 gs 1 -1 sc (example-) dup sw pop 2 div neg 0 rm  col0 sh gr

   360 /Courier-iso ff 345.00 scf sf

   361 10181 1748 m

   362 gs 1 -1 sc (browser) dup sw pop 2 div neg 0 rm  col0 sh gr

   363 $F2psEnd

   364 rs

author	agriesma
	Thu, 17 Apr 2003 18:01:02 +0200
branch	griesmayer
changeset 303	148b9c4ccc34
permissions	-rwxr-xr-x