| Wed, 04 Apr 2007 23:29:33 +0200 | wenzelm | rep_thm/cterm/ctyp: removed obsolete sign field; | file | diff | annotate |
| Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:49 +0200 | wenzelm | tuned interface; | file | diff | annotate |
| Mon, 19 Jun 2006 22:06:36 +0200 | wenzelm | refrain from reforming TFL -- back to previous revision; | file | diff | annotate |
| Mon, 19 Jun 2006 20:21:30 +0200 | wenzelm | eliminated freeze/varify in favour of Variable.import/export/trade; | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 21 Oct 2005 18:14:38 +0200 | wenzelm | OldGoals; | file | diff | annotate |
| Fri, 23 Sep 2005 22:21:55 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:29 +0200 | wenzelm | Sign.read_term; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:37 +0200 | wenzelm | replaced itlist by fold_rev; | file | diff | annotate |
| Sun, 05 Jun 2005 23:07:25 +0200 | wenzelm | Type.freeze; | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |