diff -r bceec99254b0 -r c08bd0a219f8 src/Doc/ProgProve/document/bang.eps
--- a/src/Doc/ProgProve/document/bang.eps	Sat Jul 27 21:01:35 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,94 +0,0 @@
-%!PS-Adobe-3.0 EPSF-3.0
-%%BoundingBox: 0 0 24 40
-%%HiResBoundingBox: 0.000000 0.000000 23.040001 39.420002
-%.............................................
-%%Creator: GPL Ghostscript 871 (epswrite)
-%%CreationDate: 2012/04/02 04:50:05
-%%DocumentData: Clean7Bit
-%%LanguageLevel: 2
-%%EndComments
-%%BeginProlog
-% This copyright applies to everything between here and the %%EndProlog:
-% Copyright (C) 2010 Artifex Software, Inc.  All rights reserved.
-%%BeginResource: procset GS_epswrite_2_0_1001 1.001 0
-/GS_epswrite_2_0_1001 80 dict dup begin
-/PageSize 2 array def/setpagesize{ PageSize aload pop 3 index eq exch
-4 index eq and{ pop pop pop}{ PageSize dup  1
-5 -1 roll put 0 4 -1 roll put dup null eq {false} {dup where} ifelse{ exch get exec}
-{ pop/setpagedevice where
-{ pop 1 dict dup /PageSize PageSize put setpagedevice}
-{ /setpage where{ pop PageSize aload pop pageparams 3 {exch pop} repeat
-setpage}if}ifelse}ifelse}ifelse} bind def
-/!{bind def}bind def/#{load def}!/N/counttomark #
-/rG{3{3 -1 roll 255 div}repeat setrgbcolor}!/G{255 div setgray}!/K{0 G}!
-/r6{dup 3 -1 roll rG}!/r5{dup 3 1 roll rG}!/r3{dup rG}!
-/w/setlinewidth #/J/setlinecap #
-/j/setlinejoin #/M/setmiterlimit #/d/setdash #/i/setflat #
-/m/moveto #/l/lineto #/c/rcurveto #
-/p{N 2 idiv{N -2 roll rlineto}repeat}!
-/P{N 0 gt{N -2 roll moveto p}if}!
-/h{p closepath}!/H{P closepath}!
-/lx{0 rlineto}!/ly{0 exch rlineto}!/v{0 0 6 2 roll c}!/y{2 copy c}!
-/re{4 -2 roll m exch dup lx exch ly neg lx h}!
-/^{3 index neg 3 index neg}!
-/f{P fill}!/f*{P eofill}!/s{H stroke}!/S{P stroke}!
-/q/gsave #/Q/grestore #/rf{re fill}!
-/Y{P clip newpath}!/Y*{P eoclip newpath}!/rY{re Y}!
-/|={pop exch 4 1 roll 1 array astore cvx 3 array astore cvx exch 1 index def exec}!
-/|{exch string readstring |=}!
-/+{dup type/nametype eq{2 index 7 add -3 bitshift 2 index mul}if}!
-/@/currentfile #/${+ @ |}!
-/B{{2 copy string{readstring pop}aload pop 4 array astore cvx
-3 1 roll}repeat pop pop true}!
-/Ix{[1 0 0 1 11 -2 roll exch neg exch neg]exch}!
-/,{true exch Ix imagemask}!/If{false exch Ix imagemask}!/I{exch Ix image}!
-/Ic{exch Ix false 3 colorimage}!
-/F{/Columns counttomark 3 add -2 roll/Rows exch/K -1/BlackIs1 true>>
-/CCITTFaxDecode filter}!/FX{<</EndOfBlock false F}!
-/X{/ASCII85Decode filter}!/@X{@ X}!/&2{2 index 2 index}!
-/@F{@ &2<<F}!/@C{@X &2 FX}!
-/$X{+ @X |}!/&4{4 index 4 index}!/$F{+ @ &4<<F |}!/$C{+ @X &4 FX |}!
-/IC{3 1 roll 10 dict begin 1{/ImageType/Interpolate/Decode/DataSource
-/ImageMatrix/BitsPerComponent/Height/Width}{exch def}forall
-currentdict end image}!
-/~{@ read {pop} if}!
-end def
-%%EndResource
-/pagesave null def
-%%EndProlog
-%%Page: 1 1
-%%BeginPageSetup
-GS_epswrite_2_0_1001 begin
-/pagesave save store 197 dict begin
-0.18 0.18 scale
-%%EndPageSetup
-gsave mark
-Q q
-0 0 128 0 0 219 ^ Y
-197 209 208 rG
-0 0 127.777 219.445 re
-f
-Q q
-0 0 128 0 0 219 ^ Y
-K
-46.21 53.45 m
-0 4.82 1.73 8.96 5.18 12.45 c
-3.45 3.48 7.62 5.23 12.5 5.23 c
-4.88 0 9.05 -1.74 12.5 -5.23 c
-3.45 -3.48 5.17 -7.63 5.17 -12.45 c
-0 -4.88 -1.74 -9.05 -5.22 -12.5 c
--3.48 -3.45 -7.63 -5.18 -12.45 -5.18 c
--4.82 0 -8.97 1.73 -12.45 5.18 c
--3.48 3.45 -5.22 7.62 -5.22 12.5 c
-f
-54.73 86.27 -15.52 70.88 P
--0.99 4.8 -1.49 8.32 -1.49 10.55 c
-0 10.65 8.64 15.97 25.92 15.97 c
-17.61 0 26.42 -4.77 26.42 -14.3 c
-0 -3 -0.5 -6.82 -1.48 -11.48 c
--15.52 -71.62 p f
-cleartomark end end pagesave restore
- showpage
-%%PageTrailer
-%%Trailer
-%%Pages: 1