Fri, 10 Nov 2006 23:22:03 +0100 | wenzelm | avoid strange typing problem in MosML; | file | diff | annotate |
Thu, 02 Nov 2006 14:27:18 +0100 | dixon | bugfix to zipto: left and right were wrong way around. | file | diff | annotate |
Mon, 03 Jul 2006 17:24:45 +0200 | dixon | fix to subst in order to allow subst when head of a term is a bound variable. | file | diff | annotate |
Sat, 17 Jun 2006 18:58:12 +0200 | dixon | added interface for making term contexts. | file | diff | annotate |
Tue, 13 Jun 2006 15:42:19 +0200 | dixon | Corrected search order for zippers. | file | diff | annotate |
Mon, 12 Jun 2006 21:19:00 +0200 | wenzelm | tuned Seq/Envir/Unify interfaces; | file | diff | annotate |
Mon, 12 Jun 2006 11:59:25 +0200 | wenzelm | made smlnj happy; | file | diff | annotate |
Sun, 11 Jun 2006 00:28:18 +0200 | dixon | added updated version of IsaPlanner and substitution. | file | diff | annotate |