Wed, 11 Mar 1998 11:03:43 +0100 | paulson | Arith.thy -> thy; proved a few new theorems | changeset | files |
Wed, 11 Mar 1998 10:17:16 +0100 | nipkow | New Asm_full_simp_tac shortens proof. | changeset | files |
Wed, 11 Mar 1998 09:50:31 +0100 | nipkow | Simplifier | changeset | files |