doc-src/Contents
Fri, 16 Apr 2004 12:09:31 +0200 kleing add locales
Mon, 29 Mar 2004 08:59:58 +0200 kleing removed intro to isabelle
Mon, 12 May 2003 11:34:49 +0200 kleing added IsarOverview
Sat, 01 Mar 2003 16:59:41 +0100 kleing added Exercises
Tue, 27 Aug 2002 15:39:39 +0200 wenzelm removed IsarTut;
Fri, 14 Jun 2002 13:24:32 +0200 wenzelm IsarTut;
Wed, 19 Apr 2000 14:22:11 +0200 wenzelm TuturialI;
Mon, 19 Jul 1999 17:07:30 +0200 wenzelm added isar-ref;
Tue, 04 May 1999 18:56:43 +0200 wenzelm HOL;
Wed, 13 Jan 1999 16:38:02 +0100 paulson new manual ZF
Wed, 26 Aug 1998 18:24:06 +0200 wenzelm added HOL tutorial;
Mon, 12 May 1997 18:34:34 +0200 wenzelm added System;
Mon, 12 May 1997 17:54:03 +0200 wenzelm added AxClass;
Mon, 12 May 1997 17:26:28 +0200 wenzelm list of manuals to be made automatically;
less more (0) tip