| Mon, 29 Jan 2001 13:31:30 +0100 | berghofe | Completely split rule eval_evals_exec.induct before applying it. | changeset | files |
| Mon, 29 Jan 2001 13:28:15 +0100 | berghofe | New function complete_split_rule for complete splitting of partially | changeset | files |
| Mon, 29 Jan 2001 13:26:04 +0100 | berghofe | Splitting of arguments of product types in induction rules is now less | changeset | files |
| Mon, 29 Jan 2001 10:28:00 +0100 | paulson | fixed the pr example | changeset | files |
| Mon, 29 Jan 2001 10:27:29 +0100 | paulson | simplified gcd | changeset | files |
| Sun, 28 Jan 2001 16:46:19 +0100 | nipkow | fixed set comprehension print translation | changeset | files |
| Fri, 26 Jan 2001 15:50:52 +0100 | nipkow | Merged Example into While_Combi | changeset | files |