]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/engine.eps
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / whelp / engine.eps
diff --git a/helm/papers/whelp/engine.eps b/helm/papers/whelp/engine.eps
deleted file mode 100644 (file)
index 748751d..0000000
+++ /dev/null
@@ -1,450 +0,0 @@
-%!PS-Adobe-2.0 EPSF-2.0
-%%Title: /home/zacchiro/dati/papers/moogle/engine.dia
-%%Creator: Dia v0.94
-%%CreationDate: Mon Mar 14 18:26:27 2005
-%%For: zacchiro
-%%Orientation: Portrait
-%%Magnification: 1.0000
-%%BoundingBox: 0 0 848 117
-%%BeginSetup
-%%EndSetup
-%%EndComments
-%%BeginProlog
-[ /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
-/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
-/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
-/.notdef /.notdef /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quoteright
-/parenleft /parenright /asterisk /plus /comma /hyphen /period /slash /zero /one
-/two /three /four /five /six /seven /eight /nine /colon /semicolon
-/less /equal /greater /question /at /A /B /C /D /E
-/F /G /H /I /J /K /L /M /N /O
-/P /Q /R /S /T /U /V /W /X /Y
-/Z /bracketleft /backslash /bracketright /asciicircum /underscore /quoteleft /a /b /c
-/d /e /f /g /h /i /j /k /l /m
-/n /o /p /q /r /s /t /u /v /w
-/x /y /z /braceleft /bar /braceright /asciitilde /.notdef /.notdef /.notdef
-/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
-/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
-/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
-/space /exclamdown /cent /sterling /currency /yen /brokenbar /section /dieresis /copyright
-/ordfeminine /guillemotleft /logicalnot /hyphen /registered /macron /degree /plusminus /twosuperior /threesuperior
-/acute /mu /paragraph /periodcentered /cedilla /onesuperior /ordmasculine /guillemotright /onequarter /onehalf
-/threequarters /questiondown /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla
-/Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis /Eth /Ntilde
-/Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply /Oslash /Ugrave /Uacute /Ucircumflex
-/Udieresis /Yacute /Thorn /germandbls /agrave /aacute /acircumflex /atilde /adieresis /aring
-/ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute /icircumflex /idieresis
-/eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash /ugrave
-/uacute /ucircumflex /udieresis /yacute /thorn /ydieresis] /isolatin1encoding exch def
-/cp {closepath} bind def
-/c {curveto} bind def
-/f {fill} bind def
-/a {arc} bind def
-/ef {eofill} bind def
-/ex {exch} bind def
-/gr {grestore} bind def
-/gs {gsave} bind def
-/sa {save} bind def
-/rs {restore} bind def
-/l {lineto} bind def
-/m {moveto} bind def
-/rm {rmoveto} bind def
-/n {newpath} bind def
-/s {stroke} bind def
-/sh {show} bind def
-/slc {setlinecap} bind def
-/slj {setlinejoin} bind def
-/slw {setlinewidth} bind def
-/srgb {setrgbcolor} bind def
-/rot {rotate} bind def
-/sc {scale} bind def
-/sd {setdash} bind def
-/ff {findfont} bind def
-/sf {setfont} bind def
-/scf {scalefont} bind def
-/sw {stringwidth pop} bind def
-/tr {translate} bind def
-
-/ellipsedict 8 dict def
-ellipsedict /mtrx matrix put
-/ellipse
-{ ellipsedict begin
-   /endangle exch def
-   /startangle exch def
-   /yrad exch def
-   /xrad exch def
-   /y exch def
-   /x exch def   /savematrix mtrx currentmatrix def
-   x y tr xrad yrad sc
-   0 0 1 startangle endangle arc
-   savematrix setmatrix
-   end
-} def
-
-/mergeprocs {
-dup length
-3 -1 roll
-dup
-length
-dup
-5 1 roll
-3 -1 roll
-add
-array cvx
-dup
-3 -1 roll
-0 exch
-putinterval
-dup
-4 2 roll
-putinterval
-} bind def
-/Times-Roman-latin1
-    /Times-Roman findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Times-Italic-latin1
-    /Times-Italic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Times-Bold-latin1
-    /Times-Bold findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Times-BoldItalic-latin1
-    /Times-BoldItalic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/AvantGarde-Book-latin1
-    /AvantGarde-Book findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/AvantGarde-BookOblique-latin1
-    /AvantGarde-BookOblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/AvantGarde-Demi-latin1
-    /AvantGarde-Demi findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/AvantGarde-DemiOblique-latin1
-    /AvantGarde-DemiOblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Bookman-Light-latin1
-    /Bookman-Light findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Bookman-LightItalic-latin1
-    /Bookman-LightItalic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Bookman-Demi-latin1
-    /Bookman-Demi findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Bookman-DemiItalic-latin1
-    /Bookman-DemiItalic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Courier-latin1
-    /Courier findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Courier-Oblique-latin1
-    /Courier-Oblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Courier-Bold-latin1
-    /Courier-Bold findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Courier-BoldOblique-latin1
-    /Courier-BoldOblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-latin1
-    /Helvetica findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-Oblique-latin1
-    /Helvetica-Oblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-Bold-latin1
-    /Helvetica-Bold findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-BoldOblique-latin1
-    /Helvetica-BoldOblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-Narrow-latin1
-    /Helvetica-Narrow findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-Narrow-Oblique-latin1
-    /Helvetica-Narrow-Oblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-Narrow-Bold-latin1
-    /Helvetica-Narrow-Bold findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Helvetica-Narrow-BoldOblique-latin1
-    /Helvetica-Narrow-BoldOblique findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/NewCenturySchoolbook-Roman-latin1
-    /NewCenturySchoolbook-Roman findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/NewCenturySchoolbook-Italic-latin1
-    /NewCenturySchoolbook-Italic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/NewCenturySchoolbook-Bold-latin1
-    /NewCenturySchoolbook-Bold findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/NewCenturySchoolbook-BoldItalic-latin1
-    /NewCenturySchoolbook-BoldItalic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Palatino-Roman-latin1
-    /Palatino-Roman findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Palatino-Italic-latin1
-    /Palatino-Italic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Palatino-Bold-latin1
-    /Palatino-Bold findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Palatino-BoldItalic-latin1
-    /Palatino-BoldItalic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/Symbol-latin1
-    /Symbol findfont
-definefont pop
-/ZapfChancery-MediumItalic-latin1
-    /ZapfChancery-MediumItalic findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-/ZapfDingbats-latin1
-    /ZapfDingbats findfont
-    dup length dict begin
-       {1 index /FID ne {def} {pop pop} ifelse} forall
-       /Encoding isolatin1encoding def
-    currentdict end
-definefont pop
-28.346000 -28.346000 scale
-3.875000 -17.750000 translate
-%%EndProlog
-
-
-1.000000 1.000000 1.000000 srgb
-n -0.150000 13.700000 m -0.150000 17.700000 l 21.450000 17.700000 l 21.450000 13.700000 l f
-n -0.150000 14.200000 m -0.150000 14.200000 0.500000 0.500000 180.000000 270.000000 ellipse f
-n 21.450000 14.200000 m 21.450000 14.200000 0.500000 0.500000 270.000000 360.000000 ellipse f
-n -0.650000 14.200000 m -0.650000 17.200000 l 21.950000 17.200000 l 21.950000 14.200000 l f
-n -0.150000 17.200000 m -0.150000 17.200000 0.500000 0.500000 90.000000 180.000000 ellipse f
-n 21.450000 17.200000 m 21.450000 17.200000 0.500000 0.500000 0.000000 90.000000 ellipse f
-0.100000 slw
-[0.200000] 0 sd
-[0.200000] 0 sd
-0 slj
-0.000000 0.000000 0.000000 srgb
-n -0.150000 13.700000 m 21.450000 13.700000 l s
-n -0.150000 17.700000 m 21.450000 17.700000 l s
-n -0.150000 14.200000 0.500000 0.500000 180.000000 270.000000 ellipse s
-n 21.450000 14.200000 0.500000 0.500000 270.000000 360.000000 ellipse s
-n -0.650000 14.200000 m -0.650000 17.200000 l s
-n 21.950000 14.200000 m 21.950000 17.200000 l s
-n -0.150000 17.200000 0.500000 0.500000 90.000000 180.000000 ellipse s
-n 21.450000 17.200000 0.500000 0.500000 0.000000 90.000000 ellipse s
-1.000000 1.000000 1.000000 srgb
-n 7.825000 15.050000 m 7.825000 16.950000 l 14.425000 16.950000 l 14.425000 15.050000 l f
-0.100000 slw
-[] 0 sd
-[] 0 sd
-0 slj
-0.000000 0.000000 0.000000 srgb
-n 7.825000 15.050000 m 7.825000 16.950000 l 14.425000 16.950000 l 14.425000 15.050000 l cp s
-/Helvetica-latin1 ff 0.560000 scf sf
-(disambiguation) dup sw 2 div 11.125000 ex sub 16.200000 m gs 1 -1 sc sh gr
-/Helvetica-latin1 ff 0.560000 scf sf
-(user) dup sw 2 div -2.850000 ex sub 15.875000 m gs 1 -1 sc sh gr
-(query) dup sw 2 div -2.850000 ex sub 16.675000 m gs 1 -1 sc sh gr
-0.100000 slw
-[] 0 sd
-[] 0 sd
-0 slc
-n -1.750000 16.035000 m 0.008256 16.007588 l s
-[] 0 sd
-0 slj
-0 slc
-n 0.383210 16.001743 m -0.112832 16.259507 l 0.008256 16.007588 l -0.120626 15.759567 l ef
-n 0.383210 16.001743 m -0.112832 16.259507 l 0.008256 16.007588 l -0.120626 15.759567 l cp s
-1.000000 1.000000 1.000000 srgb
-n 17.845000 15.050000 m 17.845000 16.950000 l 20.995000 16.950000 l 20.995000 15.050000 l f
-0.100000 slw
-[] 0 sd
-[] 0 sd
-0 slj
-0.000000 0.000000 0.000000 srgb
-n 17.845000 15.050000 m 17.845000 16.950000 l 20.995000 16.950000 l 20.995000 15.050000 l cp s
-/Helvetica-latin1 ff 0.560000 scf sf
-(query) dup sw 2 div 19.420000 ex sub 16.200000 m gs 1 -1 sc sh gr
-0.100000 slw
-[] 0 sd
-[] 0 sd
-0 slc
-n 14.425000 16.000000 m 17.358197 16.000000 l s
-[] 0 sd
-0 slj
-0 slc
-n 17.733197 16.000000 m 17.233197 16.250000 l 17.358197 16.000000 l 17.233197 15.750000 l ef
-n 17.733197 16.000000 m 17.233197 16.250000 l 17.358197 16.000000 l 17.233197 15.750000 l cp s
-/Helvetica-latin1 ff 0.560000 scf sf
-(CIC) dup sw 2 div 16.070000 ex sub 14.621250 m gs 1 -1 sc sh gr
-(term) dup sw 2 div 16.070000 ex sub 15.421250 m gs 1 -1 sc sh gr
-0.100000 slw
-[] 0 sd
-[] 0 sd
-0 slc
-n 20.995000 16.000000 m 22.863197 16.000000 l s
-[] 0 sd
-0 slj
-0 slc
-n 23.238197 16.000000 m 22.738197 16.250000 l 22.863197 16.000000 l 22.738197 15.750000 l ef
-n 23.238197 16.000000 m 22.738197 16.250000 l 22.863197 16.000000 l 22.738197 15.750000 l cp s
-/Helvetica-latin1 ff 0.560000 scf sf
-(results) dup sw 2 div 24.770000 ex sub 15.725000 m gs 1 -1 sc sh gr
-(\(URIs\)) dup sw 2 div 24.770000 ex sub 16.525000 m gs 1 -1 sc sh gr
-0.100000 slw
-[] 0 sd
-[] 0 sd
-0 slc
-n 4.295000 16.000000 m 7.338197 16.000000 l s
-[] 0 sd
-0 slj
-0 slc
-n 7.713197 16.000000 m 7.213197 16.250000 l 7.338197 16.000000 l 7.213197 15.750000 l ef
-n 7.713197 16.000000 m 7.213197 16.250000 l 7.338197 16.000000 l 7.213197 15.750000 l cp s
-/Helvetica-latin1 ff 0.560000 scf sf
-1.000000 1.000000 1.000000 srgb
-n 0.495000 15.050000 m 0.495000 16.950000 l 4.295000 16.950000 l 4.295000 15.050000 l f
-0.100000 slw
-[] 0 sd
-[] 0 sd
-0 slj
-0.000000 0.000000 0.000000 srgb
-n 0.495000 15.050000 m 0.495000 16.950000 l 4.295000 16.950000 l 4.295000 15.050000 l cp s
-/Helvetica-latin1 ff 0.560000 scf sf
-(parsing) dup sw 2 div 2.395000 ex sub 16.200000 m gs 1 -1 sc sh gr
-/Helvetica-latin1 ff 0.560000 scf sf
-(AST) dup sw 2 div 6.020000 ex sub 15.465000 m gs 1 -1 sc sh gr
-showpage