| Mon, 02 Aug 1999 11:24:30 +0200 | paulson | the SVC link-up | file | diff | annotate |
| Mon, 19 Jul 1999 15:35:42 +0200 | paulson | NatBin: binary arithmetic for the naturals | file | diff | annotate |
| Thu, 08 Jul 1999 13:37:40 +0200 | paulson | new theory IntDiv.thy | file | diff | annotate |
| Fri, 04 Jun 1999 19:57:31 +0200 | wenzelm | Calculation.thy: Setup transitivity rules for calculational proofs. | file | diff | annotate |