src/HOL/Hoare/Hoare.ML
Fri, 21 Jul 2000 16:35:12 +0200 prensani Updating of some comments
Wed, 19 Jul 2000 18:57:27 +0200 oheimb corrected header
Sun, 04 Jun 2000 00:09:04 +0200 wenzelm removed method;
Mon, 27 Mar 2000 21:41:19 +0200 wenzelm renamed 'hoare_vcg' to 'hoare';
Sun, 26 Mar 2000 22:29:33 +0200 wenzelm added WhileRule';
Sat, 25 Mar 2000 13:00:44 +0100 wenzelm addsimprocs [record_simproc];
Fri, 24 Mar 2000 21:15:56 +0100 wenzelm use abstract syntax;
Thu, 29 Jul 1999 12:44:57 +0200 paulson added parentheses to cope with a possible reduction of the precedence of unary
Fri, 29 Jan 1999 16:26:12 +0100 paulson expandshort
Wed, 14 Oct 1998 15:26:31 +0200 nipkow New many-sorted version.
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Mon, 03 Nov 1997 12:13:18 +0100 wenzelm isatool fixclasimp;
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Tue, 22 Jul 1997 11:12:55 +0200 paulson Removal of the tactical STATE
Fri, 04 Apr 1997 14:05:12 +0200 nipkow renamed variable 'inv'
Fri, 19 Jul 1996 15:56:01 +0200 berghofe Classical tactics now use default claset.
Fri, 08 Mar 1996 13:11:09 +0100 clasohm added constdefs section
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Fri, 17 Nov 1995 09:04:10 +0100 nipkow New directory.
less more (0) tip