src/HOL/Hoare/ROOT.ML
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Wed, 14 Oct 1998 15:26:31 +0200 nipkow New many-sorted version.
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Wed, 22 Nov 1995 18:48:56 +0100 nipkow Added List_Examples
Tue, 21 Nov 1995 12:43:09 +0100 clasohm removed make_chart;
Fri, 17 Nov 1995 09:04:10 +0100 nipkow New directory.
less more (0) tip