| Sat, 08 Oct 2005 20:15:35 +0200 | wenzelm | minor tweaks for Poplog/PML; | file | diff | annotate |
| Thu, 02 Jun 2005 09:11:32 +0200 | wenzelm | header; | file | diff | annotate |
| Wed, 18 May 2005 23:04:13 +0200 | dixon | lucas - fixed subst in assumptions to count redexes from left to right. | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |