| Sun, 22 Mar 2009 19:36:04 +0100 | nipkow | 1. New cancellation simprocs for common factors in inequations | file | diff | annotate |
| Thu, 08 Nov 2007 13:23:47 +0100 | nipkow | fix | file | diff | annotate |
| Mon, 05 Nov 2007 15:37:41 +0100 | nipkow | removed advanced recdef section and replaced it by citation of Alex's tutorial. | file | diff | annotate |
| Fri, 02 Nov 2007 08:59:15 +0100 | nipkow | recdef -> fun | file | diff | annotate |
| Thu, 01 Nov 2007 20:20:19 +0100 | nipkow | recdef -> fun | file | diff | annotate |
| Fri, 06 Aug 2004 12:30:31 +0200 | nipkow | Undid \Union syntax with subscripts. | file | diff | annotate |
| Wed, 24 Mar 2004 10:55:38 +0100 | paulson | auto update | file | diff | annotate |