src/HOL/README.html
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