| Thu, 21 Apr 2005 18:57:18 +0200 | berghofe | Adapted to new interface of instantiation and unification / matching functions. | file | diff | annotate |
| Wed, 13 Apr 2005 18:46:04 +0200 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | file | diff | annotate |
| Wed, 13 Apr 2005 18:34:22 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 11 Oct 2004 07:39:19 +0200 | nipkow | Induction now preserves the name of the induction variable. | file | diff | annotate |