| Tue, 23 Jan 2007 15:54:22 +0100 |
dixon |
added a fold up and fold down as separate functions and fixed zipto to
|
file |
diff |
annotate
|
| Wed, 17 Jan 2007 11:39:32 +0100 |
dixon |
correctled left/right following of another context in zipto.
|
file |
diff |
annotate
|
| Thu, 16 Nov 2006 01:07:25 +0100 |
wenzelm |
moved some fundamental concepts to General/basics.ML;
|
file |
diff |
annotate
|
| 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
|