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 |