| Mon, 26 Jul 1999 16:32:23 +0200 | paulson | expandshort | file | diff | annotate |
| 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 |