| Fri, 22 Apr 2005 15:10:42 +0200 | dixon | lucas - fixed a big with renaming of bound variables. Other small changes. | file | diff | annotate |
| Sun, 27 Feb 2005 00:00:40 +0100 | dixon | lucas - added more comments and an extra type to clarify the code. | file | diff | annotate |
| Sat, 19 Feb 2005 18:44:34 +0100 | dixon | lucas - re-arranged code and added comments. Also added check to make sure the subgoal that we are being applied to exists. If it does not, empty seq is returned. | file | diff | annotate |
| Wed, 02 Feb 2005 15:43:04 +0100 | paulson | improved handling of chained facts | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |