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;
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;
Wed, 26 Aug 1998 16:57:49 +0200 nipkow The HOL tutorial.
less more (0) tip