Wed, 11 Mar 1998 11:03:43 +0100 Arith.thy -> thy; proved a few new theorems
paulson [Wed, 11 Mar 1998 11:03:43 +0100] rev 4732
Arith.thy -> thy; proved a few new theorems
Wed, 11 Mar 1998 10:17:16 +0100 New Asm_full_simp_tac shortens proof.
nipkow [Wed, 11 Mar 1998 10:17:16 +0100] rev 4731
New Asm_full_simp_tac shortens proof.
Wed, 11 Mar 1998 09:50:31 +0100 Simplifier
nipkow [Wed, 11 Mar 1998 09:50:31 +0100] rev 4730
Simplifier
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip