testboard: Changelog

paulson [Mon, 19 Jul 1999 15:32:14 +0200] rev 7037

examples of arithmetic on the naturals

paulson [Mon, 19 Jul 1999 15:31:42 +0200] rev 7036

deleted a reference to "nat", now erroneous because "nat" is a function

paulson [Mon, 19 Jul 1999 15:30:59 +0200] rev 7035

many new laws about div and mod

paulson [Mon, 19 Jul 1999 15:29:30 +0200] rev 7034

new theorem zless_zero_nat

paulson [Mon, 19 Jul 1999 15:29:01 +0200] rev 7033

removal of rewrites for Suc(Suc(Suc...)))

paulson [Mon, 19 Jul 1999 15:27:34 +0200] rev 7032

NatBin: binary arithmetic for the naturals

paulson [Mon, 19 Jul 1999 15:24:35 +0200] rev 7031

getting rid of qed_goal

paulson [Mon, 19 Jul 1999 15:19:11 +0200] rev 7030

getting rid of qed_goal

paulson [Mon, 19 Jul 1999 15:18:16 +0200] rev 7029

new division laws taking advantage of (m div 0) = 0 and (m mod 0) = m

nipkow [Sun, 18 Jul 1999 11:06:08 +0200] rev 7028

Modifid length_tl

testboard