src/HOL/Hoare/ROOT.ML
Tue, 23 Feb 2010 10:11:15 +0100 haftmann dropped axclass; dropped Id; session theory Hoare.thy
Sat, 15 Sep 2007 19:27:35 +0200 haftmann fixed title
Tue, 31 Jul 2007 22:21:20 +0200 wenzelm simultaneous use_thys;
Wed, 14 May 2003 14:20:55 +0200 nipkow eparation logic - a beginning.
Sun, 23 Mar 2003 11:57:07 +0100 nipkow *** empty log message ***
Tue, 11 Mar 2003 15:04:24 +0100 nipkow *** empty log message ***
Mon, 06 Jan 2003 11:22:54 +0100 nipkow Split Pointers.thy and automated one proof, which caused the runtime to explode
Sun, 05 Jan 2003 21:03:14 +0100 nipkow *** empty log message ***
Fri, 10 May 2002 18:00:07 +0200 nipkow Added Pointers.thy
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;
less more (0) tip