Wed, 31 Aug 2005 15:46:40 +0200 | wenzelm | refer to theory instead of low-level tsig; | file | diff | annotate |
Mon, 15 Aug 2005 21:39:15 +0200 | dixon | lucas - added pretty printing function and cleaned up signature a little. | file | diff | annotate |
Thu, 02 Jun 2005 09:11:32 +0200 | wenzelm | header; | file | diff | annotate |
Tue, 03 May 2005 02:45:55 +0200 | dixon | lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments. | file | diff | annotate |
Fri, 22 Apr 2005 15:10:42 +0200 | dixon | lucas - fixed a big with renaming of bound variables. Other small changes. | file | diff | annotate |
Thu, 07 Apr 2005 09:25:33 +0200 | wenzelm | reverted renaming of Some/None in comments and strings; | 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 |