| 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 |