| Fri, 17 Jun 1994 18:28:36 +0200 | lcp | HOL/ex/NatSum: added another example | file | diff | annotate |
| Wed, 06 Apr 1994 16:31:06 +0200 | lcp | Now simplifies before the induction | file | diff | annotate |
| Sun, 27 Mar 1994 16:43:06 +0200 | nipkow | Added some sums. | file | diff | annotate |