doc-src/Tutorial/basics.tex
Mon, 10 May 1999 17:43:55 +0200 wenzelm pdf setup;
Thu, 06 May 1999 11:48:09 +0200 nipkow Refs.
Tue, 04 May 1999 18:27:36 +0200 wenzelm tuned;
Wed, 20 Jan 1999 18:07:34 +0100 wenzelm isabelle.in.tum.de;
less more (0) tip