| Mon, 25 Feb 2002 20:48:14 +0100 | wenzelm | clarified syntax of ``long'' statements: fixes/assumes/shows; | changeset | files |
| Mon, 25 Feb 2002 20:46:09 +0100 | wenzelm | clarify module dependencies; | changeset | files |
| Mon, 25 Feb 2002 20:33:40 +0100 | wenzelm | updated; | changeset | files |
| Mon, 25 Feb 2002 18:02:22 +0100 | oheimb | Clarification wrt. use of polymorphic variants of Hoare logic rules | changeset | files |
| Mon, 25 Feb 2002 11:27:07 +0100 | berghofe | Introduced variants of operators + * ~ constrained to type int | changeset | files |
| Mon, 25 Feb 2002 10:45:22 +0100 | nipkow | updated debugging output | changeset | files |
| Mon, 25 Feb 2002 10:42:34 +0100 | nipkow | solved the problem that Larry's simproce cancle_numerals(?) returns | changeset | files |