| Tue, 04 Jul 2006 19:49:49 +0200 | wenzelm | Thm.varifyT; | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:31 +0200 | wenzelm | use Drule.unvarify instead of obsolete Drule.freeze_all; | file | diff | annotate |
| Sat, 20 May 2006 23:36:55 +0200 | wenzelm | List.partition; | file | diff | annotate |
| Thu, 06 Apr 2006 16:13:17 +0200 | haftmann | cleanup in typedef/datatype package | file | diff | annotate |
| Tue, 14 Mar 2006 22:06:31 +0100 | wenzelm | string_of_mixfix; | file | diff | annotate |
| Thu, 16 Feb 2006 14:59:57 +0100 | obua | cache improvements | file | diff | annotate |
| Thu, 16 Feb 2006 04:17:19 +0100 | obua | variable counter is now also cached | file | diff | annotate |