…
..
Idar-Oberstein.appx_cvx.gif	…
Idar-Oberstein.appx_cvx.ps	…
Trier.opt_cvx.gif	…
Trier.opt_cvx.ps	…
assertions.tex	…
htmlfiles	…
index_see.tex	…
main.tex	…
manual.tex	…
partition_2.tex	…
partition_2_convex.tex	…
partition_2_intro.tex	…
partition_2_y_monotone.tex	…