src/HOL/Hoare/Arith2.thy
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Thu, 04 Dec 1997 09:05:59 +0100 nipkow Simplified proofs.
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Fri, 30 May 1997 15:21:21 +0200 paulson Replacement of "divides" by "dvd" from Divides.thy, and updating of proofs
Tue, 25 Jun 1996 13:11:29 +0200 berghofe Changed argument order of nat_rec.
Fri, 08 Mar 1996 13:11:09 +0100 clasohm added constdefs section
Mon, 05 Feb 1996 21:29:06 +0100 clasohm expanded tabs; incorporated Konrad's changes
Wed, 29 Nov 1995 17:01:41 +0100 clasohm removed quotes from consts and syntax sections
Fri, 17 Nov 1995 09:04:10 +0100 nipkow New directory.
less more (0) tip