src/HOL/README.html
Wed, 12 May 2010 14:17:26 +0200 wenzelm removed obsolete CVS Ids;
Tue, 20 Oct 2009 20:03:23 +0200 wenzelm modernized session SET_Protocol;
Tue, 20 Oct 2009 19:37:09 +0200 wenzelm modernized session Isar_Examples;
Wed, 24 Jun 2009 21:46:54 +0200 wenzelm standard naming conventions for session and theories;
Tue, 03 May 2005 10:25:30 +0200 nipkow *** empty log message ***
Mon, 02 May 2005 18:46:52 +0200 nipkow *** empty log message ***
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Mon, 12 Apr 2004 23:59:19 +0200 kleing remove MiniML and Lex (moved to AFP)
Tue, 13 May 2003 08:59:21 +0200 kleing HOL-Real -> HOL-Complex Isabelle2003
Mon, 10 Mar 2003 12:53:27 +0100 paulson spelling
Wed, 18 Oct 2000 23:40:38 +0200 wenzelm tuned;
Fri, 06 Oct 2000 16:14:03 +0200 wenzelm updated, improved;
Sat, 02 Sep 2000 21:56:24 +0200 wenzelm HOL/Lambda: converted into new-style theory and document;
Sat, 30 Oct 1999 20:21:46 +0200 wenzelm tuned;
Mon, 04 Oct 1999 21:34:20 +0200 wenzelm added BVC;
Thu, 30 Sep 1999 20:49:06 +0200 wenzelm Real/HahnBanach;
Fri, 20 Aug 1999 15:41:19 +0200 wenzelm AxClasses, Isar_examples;
Thu, 19 Aug 1999 17:06:05 +0200 nipkow new entriues.
Thu, 19 Aug 1999 16:54:38 +0200 paulson updated
Thu, 12 Feb 1998 15:00:04 +0100 wenzelm tuned;
Wed, 21 May 1997 17:13:00 +0200 wenzelm tuned all READMEs;
Wed, 07 May 1997 13:51:22 +0200 paulson Moved induction examples to directory Induct
Wed, 09 Oct 1996 13:50:28 +0200 paulson Fuller description of examples
Fri, 17 Nov 1995 13:22:50 +0100 clasohm HTML version of README
Fri, 17 Nov 1995 12:40:09 +0100 clasohm converted README to HTLM; replaced "CHOL" by "HOL"
less more (0) tip