doc-src/Tutorial/basics.tex
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