X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2Fslides%2Fhelm.eps;fp=helm%2Fpapers%2Fcalculemus-2003%2Fslides%2Fhelm.eps;h=0000000000000000000000000000000000000000;hp=4716e78daa7eb81a3e5ff5fd1d328f9aaba4f7cf;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/papers/calculemus-2003/slides/helm.eps b/helm/papers/calculemus-2003/slides/helm.eps
deleted file mode 100644
index 4716e78da..000000000
--- a/helm/papers/calculemus-2003/slides/helm.eps
+++ /dev/null
@@ -1,381 +0,0 @@
-%!PS-Adobe-3.0 EPSF-3.0
-%%Creator: (ImageMagick)
-%%Title: (helm.eps)
-%%CreationDate: (Fri Mar 21 13:14:55 2003)
-%%BoundingBox: 0 0 101 36
-%%HiResBoundingBox: 0 0 101 36
-%%DocumentData: Clean7Bit
-%%LanguageLevel: 1
-%%Pages: 1
-%%EndComments
-
-%%BeginDefaults
-%%EndDefaults
-
-%%BeginProlog
-%
-% Display a color image.  The image is displayed in color on
-% Postscript viewers or printers that support color, otherwise
-% it is displayed as grayscale.
-%
-/DirectClassPacket
-{
-  %
-  % Get a DirectClass packet.
-  %
-  % Parameters:
-  %   red.
-  %   green.
-  %   blue.
-  %   length: number of pixels minus one of this color (optional).
-  %
-  currentfile color_packet readhexstring pop pop
-  compression 0 eq
-  {
-    /number_pixels 3 def
-  }
-  {
-    currentfile byte readhexstring pop 0 get
-    /number_pixels exch 1 add 3 mul def
-  } ifelse
-  0 3 number_pixels 1 sub
-  {
-    pixels exch color_packet putinterval
-  } for
-  pixels 0 number_pixels getinterval
-} bind def
-
-/DirectClassImage
-{
-  %
-  % Display a DirectClass image.
-  %
-  systemdict /colorimage known
-  {
-    columns rows 8
-    [
-      columns 0 0
-      rows neg 0 rows
-    ]
-    { DirectClassPacket } false 3 colorimage
-  }
-  {
-    %
-    % No colorimage operator;  convert to grayscale.
-    %
-    columns rows 8
-    [
-      columns 0 0
-      rows neg 0 rows
-    ]
-    { GrayDirectClassPacket } image
-  } ifelse
-} bind def
-
-/GrayDirectClassPacket
-{
-  %
-  % Get a DirectClass packet;  convert to grayscale.
-  %
-  % Parameters:
-  %   red
-  %   green
-  %   blue
-  %   length: number of pixels minus one of this color (optional).
-  %
-  currentfile color_packet readhexstring pop pop
-  color_packet 0 get 0.299 mul
-  color_packet 1 get 0.587 mul add
-  color_packet 2 get 0.114 mul add
-  cvi
-  /gray_packet exch def
-  compression 0 eq
-  {
-    /number_pixels 1 def
-  }
-  {
-    currentfile byte readhexstring pop 0 get
-    /number_pixels exch 1 add def
-  } ifelse
-  0 1 number_pixels 1 sub
-  {
-    pixels exch gray_packet put
-  } for
-  pixels 0 number_pixels getinterval
-} bind def
-
-/GrayPseudoClassPacket
-{
-  %
-  % Get a PseudoClass packet;  convert to grayscale.
-  %
-  % Parameters:
-  %   index: index into the colormap.
-  %   length: number of pixels minus one of this color (optional).
-  %
-  currentfile byte readhexstring pop 0 get
-  /offset exch 3 mul def
-  /color_packet colormap offset 3 getinterval def
-  color_packet 0 get 0.299 mul
-  color_packet 1 get 0.587 mul add
-  color_packet 2 get 0.114 mul add
-  cvi
-  /gray_packet exch def
-  compression 0 eq
-  {
-    /number_pixels 1 def
-  }
-  {
-    currentfile byte readhexstring pop 0 get
-    /number_pixels exch 1 add def
-  } ifelse
-  0 1 number_pixels 1 sub
-  {
-    pixels exch gray_packet put
-  } for
-  pixels 0 number_pixels getinterval
-} bind def
-
-/PseudoClassPacket
-{
-  %
-  % Get a PseudoClass packet.
-  %
-  % Parameters:
-  %   index: index into the colormap.
-  %   length: number of pixels minus one of this color (optional).
-  %
-  currentfile byte readhexstring pop 0 get
-  /offset exch 3 mul def
-  /color_packet colormap offset 3 getinterval def
-  compression 0 eq
-  {
-    /number_pixels 3 def
-  }
-  {
-    currentfile byte readhexstring pop 0 get
-    /number_pixels exch 1 add 3 mul def
-  } ifelse
-  0 3 number_pixels 1 sub
-  {
-    pixels exch color_packet putinterval
-  } for
-  pixels 0 number_pixels getinterval
-} bind def
-
-/PseudoClassImage
-{
-  %
-  % Display a PseudoClass image.
-  %
-  % Parameters:
-  %   class: 0-PseudoClass or 1-Grayscale.
-  %
-  currentfile buffer readline pop
-  token pop /class exch def pop
-  class 0 gt
-  {
-    currentfile buffer readline pop
-    token pop /depth exch def pop
-    /grays columns 8 add depth sub depth mul 8 idiv string def
-    columns rows depth
-    [
-      columns 0 0
-      rows neg 0 rows
-    ]
-    { currentfile grays readhexstring pop } image
-  }
-  {
-    %
-    % Parameters:
-    %   colors: number of colors in the colormap.
-    %   colormap: red, green, blue color packets.
-    %
-    currentfile buffer readline pop
-    token pop /colors exch def pop
-    /colors colors 3 mul def
-    /colormap colors string def
-    currentfile colormap readhexstring pop pop
-    systemdict /colorimage known
-    {
-      columns rows 8
-      [
-        columns 0 0
-        rows neg 0 rows
-      ]
-      { PseudoClassPacket } false 3 colorimage
-    }
-    {
-      %
-      % No colorimage operator;  convert to grayscale.
-      %
-      columns rows 8
-      [
-        columns 0 0
-        rows neg 0 rows
-      ]
-      { GrayPseudoClassPacket } image
-    } ifelse
-  } ifelse
-} bind def
-
-/DisplayImage
-{
-  %
-  % Display a DirectClass or PseudoClass image.
-  %
-  % Parameters:
-  %   x & y translation.
-  %   x & y scale.
-  %   label pointsize.
-  %   image label.
-  %   image columns & rows.
-  %   class: 0-DirectClass or 1-PseudoClass.
-  %   compression: 0-none or 1-RunlengthEncoded.
-  %   hex color packets.
-  %
-  gsave
-  /buffer 512 string def
-  /byte 1 string def
-  /color_packet 3 string def
-  /pixels 768 string def
-
-  currentfile buffer readline pop
-  token pop /x exch def
-  token pop /y exch def pop
-  x y translate
-  currentfile buffer readline pop
-  token pop /x exch def
-  token pop /y exch def pop
-  currentfile buffer readline pop
-  token pop /pointsize exch def pop
-  /Times-Roman findfont pointsize scalefont setfont
-  x y scale
-  currentfile buffer readline pop
-  token pop /columns exch def
-  token pop /rows exch def pop
-  currentfile buffer readline pop
-  token pop /class exch def pop
-  currentfile buffer readline pop
-  token pop /compression exch def pop
-  class 0 gt { PseudoClassImage } { DirectClassImage } ifelse
-  grestore
-} bind def
-%%EndProlog
-%%Page:  1 1
-%%PageBoundingBox: 0 0 101 36
-userdict begin
-DisplayImage
-0 0
-101 36
-12.000000
-101 36
-1
-1
-1
-8
-282827272727282926282A2B2929292B2D2C2C2B2B2C2D2D33323131323436383B3C3D
-3D3E3E3F3F494C475B574956474E544F413B42433D3A39373634333333312B292E302D2C
-302D2C2A2928282828242627282A2B2925242527282928262527272625252A2A2A292A2A
-2B2C282A2C2C2B2A2B2C2B2B2B2C2D2F3031313133343638393A3E3E3F4042444647454F
-4E5E5E57604D625E5449454848443E3C3A373534333237323134332F2F33302F2E2C2C2B
-2B2B2C2E2E2D2B2B2C2C2F2D2A27262628292A292828272E2E2D2D2E2F30313032343533
-333435343333343536383836383A3D4041424348494A4B4D4F5253535F606C716B695777
-665651514E4A474443403D3A383636373535363532333735343332313131312F30312F2C
-2B2F333433312F2F3031332E2D2C2B2B3131313132343536383A3C3C3B3A3B3C3D3C3C3B
-3C3C3D3E3F3F40424447494A51525557595B5C5C61666B7D897F736E896F5C5D5F574E4D
-4B494744413F3D3D393A3B3B3A393C403B3B393836363636333131343534363932333435
-34312E2C31302F2E2E3434353637393B3C3D3F4141403F40413F3F404041434545484745
-4546494C4E54575C6266696A6A6B666E8AA3978694967B686B6D605656504E4C49464543
-4342444443434547474342403E3C3B3A3A3C36363C413F3C3D434342413E3B3735353433
-323239393A3B3D3F414246484A4A4948494A4647484A4D50525453525150515356575B5E
-646B737A7F81857D839ABBB7A1B89D8675726F635B5C585653504C4A48484A4A4947494D
-4D494D4B494543413F3F423A3940433F3E42454442414041424339393837363E3E3F4143
-4548494A4D4F4F4E4D4E4F4F4F4F50525455565657595C5D5E5D5D616162676F79838993
-9599A0CADAC3D6AA9986796F6563676664605B56524F4E4E4E4B4C535C5B545655514D49
-464443423E3F4544414A584E4F504F4C46403C3F3E3D3C3C42424345474A4C4E45474949
-4848484951504F4D4C4B4B4B4D51575D5F5E5B59605C58575D69767E83929A97CBF3E1EE
-BDAF9A85756E717674716C665F5A565454545256637171695D5B57524E4A484745454A4F
-4A4A5E77888C8F8B7D674F414342414040474748494A4C4E4F3234283C282A363B50585A
-4D392D3039372E3C395C583E2E454D3E4D4B4F47505545535C6AF4FFEBDCB49E8C868E83
-94868157686963565151584E527CA995C2C89543586449524A515143483D5F59C3E4E5E5
-D8E056435247474645444A4A4B4C4E50525443412C3827354648595C5D574C403A392F2E
-47466462544D4F51344044505160687A647347F9FBFBDFD0C4B8A19087849C842E5C6B4D
-5F624B5C5E534D524CA2BFE7D63D54504956435850656B525DD2D4FAC128333459484C4C
-4B4A494F4F50515456585A5953313227445B585A5A5C60625B4D41363A5C5A6B6663655A
-6243596B78788282AC939550F7FBFFF7D8A286757DB0ACBBB983536E586A4C57595A5F5E
-5B5AC1DBD8CB345566565B635551595569CED2E0D7A22F605C5C51535251505053545557
-595C5E5F675F362F285069615F5C5E656A65554741436A686F686C71636F45607C86858C
-97B5C6BC9DF1FFFFF8E7BCB5A793AD654F6FB3386672795F6F62596470736CCAEACCDBC3
-665F6A5A625261625474EA759DC4BC3E5F595458585756555559595A5C5E6062646A643B
-332B546D636B6968696A64584F453F696C716D75777F854254747D858F9EA6D1DDE6F4FF
-FCFBE6B9A99785A944657ED7897C6F6472676D6C68666C6ECFBDBAF6EF4A5A7A5F5C6D6E
-686D63A53A9AD7C932566665625C5B5A59595F606061636566676A67433D31546C656A6B
-6B6C6C6B6B6A51426B6F706B74728492475C82858B949A9FBAE2EBF3F0F1DED3C6B5A39E
-CF616696B0BE646367756170726A687476D3857FDEBE7076726A71756C616F9BC0569CB4
-902A726B5B5561605F5E5E6766666768696A6B6C6B4D4B39546C6C68696B6E71757B7F59
-456F74706A75727B9347618883858A92A7AEC2C4D8D5CACCB7B89E91A0D4606FB1C7D350
-64756872746D686B7166B97666D0E5D4765C706B656F767ECFB75083C29A2A6965757467
-676665656B6B6B6B6B6C6D6E6F7055553F546D72727170707175787B523F6D7772708180
-9AAD5261847D858E8DB0B79DA3B5C0A0C0A3B4A3A8C4E86176A1FBE05F6779746F717074
-777871CE854A65C2CF556367707869748198393C8CBA853580616C6B6D6C6B6A6A727271
-71707171727273506338526E7676786D7173758C925F4C767A7F7D8180AF8860587F8773
-909AA1B4428FB0AF8EA0A89AA3AAED6344749483C7BFA5787A7A7A7A6D777777B4675877
-A6C1AE7B69736C7B7DACAF34687E967D3D6E6A6F756F6F70707076767575747575757074
-6F7D6066837F838982898A889BA0634B787C7D7B7E7F92C4AC97A8A7AFBFC9CBDF4A86A1
-A48C91A18D8CA1DC49717B837CC1C99A6174797C81777F7A75A852547289979067537674
-737C8C512D7075846A336E6F717275757575767C7C7C7B7A7A7A79737586866759746770
-77737E81829CA86A497C7F7C7B7C7EBDCBB8889DA283B8889AD63F829EA190869C929ACD
-DD3E928B8893B8C181538A7F83857E837D799F6162727992A27A5575836F858A355D7D77
-7B62387C81837F7C7C7C7D7D82828281807F7E7D7A798B8751485F5A555951595A5F849A
-73467E827C7D7C81C1CF6049735A5F6D6E86D544889E9A8B778F9CA7D39833898D858F8B
-A87E5B8B888A857F827F829C5B60707289A1876B4D7E6F7D6E407D7067614C2E747A7E78
-828282828388888888868482817D7F939B4D5C6F7985877C7E7979A0BB80437F857D8380
-86CFDC9A507EA17E918C92C84282949691818BA3A5AE3B4C8994878671B1AF7D6C878B85
-8486848A93445C807E777D7984407577703E4575707063554083858E8B86868787888E8F
-8F8E8C8986857E84A4B2566F7F8F828781877F7CA3C1934481877E898389D6EF7C64928D
-9F928482A14988909597917C92A2A534848A91969A85B5B683487E89878E8E898E834A5F
-84867970687662605D57345D71805F4B4338797987858C8C8D8D8D94959594928F8B8985
-85B6B55A677E8B8187838B8584B1D5A6488489808E8489FFD87D6793948894888A9773A7
-958E8F8A6E87A09646918084929792968873417E8986908F898F784C5A797F7E775D5566
-3D3C3A4673777E614541408486969393949494959899999896928F8C9086C4B05F5E838E
-9092888B8384B7E1B34C868A81918488DCDD816E8E919E85888C8A87B3958F948F8AABB1
-773D8291988F839691848A66848D838B8886927748648D8E8883695D533B5243607C8681
-57353239818696919999999A9AA0A0A1A09E9A9794907FB3D26C6488889088958E8B80DD
-CFB3438C9388829289CAD6776397928B8788968C7EC58166969C789775466F8D998F9299
-9A8D7E7E894A8A8E8F86808F663F6B8B8C8D90754D463F33375A848E804F32303789899B
-A19D9EA0A1A2A6A5A4A19E9995938A98D7E1716C999C9890948D9389E1E3C25087929487
-8B8CCDD276629595918E8B938E7EAB66598B8A83A27E6A9F9E82988F8C92908376724286
-9295918E915D32648E95929386713B33354B697F888859313144979AA08FA1A2A3A4A5AC
-ABA8A5A29E9C9A8C96BCAF576591879794918D9B87C7D795578D8A8E888E9AB9BD746791
-918D8893929689985A61959A897F4B48899D9BA39A979B968370674F757E9496847F5C41
-65889495938A7E3023346890948C8B592E31448593A899A6A7A9AAABB0AFADABA9A8A7A7
-D6CFEBF3D0D6CE96949EA2ACC4A8C7DDC4ACBA888DA7B1B5B6C19996B0AAA29AAB9CA295
-8954658F827D887E7A7F7F9A999C9F977B59494A514E5A919663504A323D547798AAA69B
-61494E7C9C8A5C3E47272F334E67A1B1ACACAEAFB0B4B3B1AFAEADACAC90778696938F7E
-4CA5ACA5A0A2716673807472527491775B626E63646B645E5A51445764645576986C574A
-44423D548FA0A5A89A775143483D3247838A533331302B375B869EA099A08C8698A79260
-373A2A35302F4483A2B1B1B3B4B5BAB9B7B4B1AEACAB9F868A86827D92929CA3A1A1A78C
-7F8E7975828CADB29183828486857E7D8181887B838A837C8E9A958C8180878995AEB1AD
-ADAB9D897E8085838DA1A89A8A82908B8D97A5ACADADADADACADB2AF9F8E87838B8A878D
-A8B8B6B7B8B9BABDBDBCBBB8B5B1AFA9A4B4AEB0A0B0B4B4B4B3B0B1A99FA8B1AAA9A4A4
-A6A5B8ADA2A9A79CA1A8A8A5A3A6AAA7AAAFAEA5A49EA0A4AAB2B0B0A7A6AEB0ABA8ABAC
-ABAAA2A5B1B1B0A8AAACABACAFB1B2B1B4B4B0ACACADADAAAEADB0B5B2AFB6BBBCBDBEBF
-BEBFC0C1C0BDBAB8BDB1B3A7BCB5BCB2B6B5B8B6B3B8AEB1A8B2B8B5B3BBB1AAB9A6B0B1
-A6ADB1ABA6ADAEAEACB4B0A9B0ADAEB7AEA8B5B7BBB5B3B6B3ACAFB8B2AEB6B6B5B5AEB3
-B8BAB8B6B9BDB9B2BCB6B6BCBEBAB7B8B4BEB5B4BEBCB4C3BFC0C1C2C3C6C5C5C4C3C2C1
-C1BDBDBDBDBDBDBDBDBFBEBDBDBCBBBABABCBCBCBBBBBBBABAB9B8B6B5B5B6B8B9B5B6B7
-B8B8B8B8B7B9B8B7B6B7BABCBEBEBDBDBCBBBAB9B9BABABBBBBBBCBCBCBEBEBFBFBFC0C0
-C0C1C1C1C0C0C0BFBFBEBEBFC0C1C2C2C3C6C6C6C6C6CAC9C9C8C7C6C6C5C3C3C3C3C3C3
-C3C3C5C4C4C3C2C1C0C0C2C2C2C2C1C1C1C0C0BEBDBBBBBDBEC0BCBCBDBEBFBEBEBEBEBD
-BCBCBCBFC1C3C4C3C3C2C1C0BFBFC0C1C1C1C2C2C2C2C3C3C4C4C4C5C5C5C6C6C6C5C5C5
-C4C4C3C3C4C5C6C6C7C7CACACACACACFCFCECDCDCCCCCBCBCBCBCBCBCBCBCBCCCCCBCBCA
-C9C9C8CACACAC9C9C9C8C8C7C6C5C4C4C5C6C7C4C4C5C6C7C7C6C6C5C4C3C3C4C5C7C9CB
-CACAC9C8C8C7C7C8C8C9C9C9CACACACACACACBCBCCCCCCCDCDCDCCCCCBCBCBCACACBCCCC
-CDCECED0D0D0D0D0D2D2D2D1D1D0D0D0D0D0D0D0D0D0D0D0D0D0CFCFCECECDCDCFCECECE
-CDCDCDCCCBCBCAC9C9CACBCBC8C9CACBCBCBCBCBCAC9C9C8C9CACBCCCECECDCDCCCCCCCB
-CCCDCDCDCECECECFCFCFCFD0D0D0D1D1D2D2D1D1D1D0D0D0CFD0D0D1D1D2D2D2D3D3D3D3
-D3end
-%%PageTrailer
-%%Trailer
-%%EOF