doc-src/System/system.ind
Mon, 24 Aug 1998 17:13:26 +0200 wenzelm SYNC;
Mon, 12 Jan 1998 15:47:43 +0100 wenzelm tuned;
Thu, 08 Jan 1998 18:25:36 +0100 wenzelm updated to Isabelle98;
Tue, 30 Sep 1997 17:33:16 +0200 berghofe SYNC
Wed, 21 May 1997 17:11:24 +0200 wenzelm SYNC;
Tue, 20 May 1997 19:33:53 +0200 wenzelm SYNC;
Fri, 16 May 1997 15:57:11 +0200 wenzelm still under construction!
Wed, 14 May 1997 19:27:59 +0200 wenzelm SYNC;
Wed, 14 May 1997 19:27:21 +0200 wenzelm preliminary!
Mon, 12 May 1997 18:34:49 +0200 wenzelm *** empty log message ***
Mon, 12 May 1997 18:26:53 +0200 wenzelm The Isabelle System Manual;
less more (0) tip