| Thu, 05 Jun 1997 13:14:52 +0200 | paulson | Made the pseudo-type of split_rule_var a separate argument | file | diff | annotate |
| Thu, 26 Sep 1996 15:14:23 +0200 | paulson | Ran expandshort; used stac instead of ssubst | file | diff | annotate |
| Wed, 08 May 1996 17:52:52 +0200 | paulson | New functor for operating on the two forms of Cartesian product | file | diff | annotate |