doc-src/Tutorial/basics.tex
Fri, 21 May 1999 12:11:13 +0200 nipkow qed indexed.
Mon, 10 May 1999 17:43:55 +0200 wenzelm pdf setup;
less more (0) -2 tip