Fri, 23 Jul 1999 17:27:48 +0200 | paulson | zmult_ac are no longer included by default | file | diff | annotate |
Wed, 21 Jul 1999 15:20:26 +0200 | paulson | more existing theorems renamed to use #0; also new results | file | diff | annotate |
Mon, 19 Jul 1999 15:27:34 +0200 | paulson | NatBin: binary arithmetic for the naturals | file | diff | annotate |