| Mon, 25 Feb 2002 18:02:22 +0100 | oheimb | Clarification wrt. use of polymorphic variants of Hoare logic rules | file | diff | annotate |
| Mon, 14 Jan 2002 00:16:43 +0100 | oheimb | cosmetics | file | diff | annotate |
| Mon, 17 Dec 2001 14:23:10 +0100 | nipkow | mods due to mor powerful simprocs for 1-point rules (quantifier1). | file | diff | annotate |