| Thu, 21 Sep 2006 19:04:20 +0200 | wenzelm | member (op =); | file | diff | annotate |
| Tue, 11 Jul 2006 12:16:54 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | file | diff | annotate |
| Sun, 11 Jun 2006 00:28:18 +0200 | dixon | added updated version of IsaPlanner and substitution. | file | diff | annotate |