Wed, 21 May 1997 10:55:21 +0200 | paulson | Function "sum" now defined using primrec | file | diff | annotate |
Fri, 14 Jun 1996 12:37:21 +0200 | paulson | Explicitly included add_mult_distrib & add_mult_distrib2 | file | diff | annotate |
Mon, 03 Jun 1996 11:41:26 +0200 | paulson | Used 2 instead of Suc(Suc 0) | file | diff | annotate |
Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
Wed, 04 Oct 1995 13:12:14 +0100 | clasohm | added local simpsets | file | diff | annotate |
Wed, 22 Mar 1995 12:42:34 +0100 | clasohm | converted ex with curried function application | file | diff | annotate |