Fri, 16 Feb 1996 13:55:29 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
Mon, 29 Jan 1996 14:16:13 +0100 | clasohm | inserted tabs again | file | diff | annotate |
Mon, 29 Jan 1996 13:56:41 +0100 | clasohm | removed tabs | file | diff | annotate |
Thu, 11 Jan 1996 10:29:31 +0100 | nipkow | Removed bug in type unification. Negative indexes are not used any longer. | file | diff | annotate |
Fri, 03 Mar 1995 11:48:05 +0100 | clasohm | added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure) | file | diff | annotate |
Fri, 21 Oct 1994 09:53:38 +0100 | lcp | Pure/Unify/IMPROVING "CLEANING" OF FLEX-FLEX PAIRS: Old code would refuse | file | diff | annotate |
Wed, 19 Oct 1994 09:48:13 +0100 | lcp | new comments explaining abandoned change | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |