| Wed, 04 Oct 2006 14:17:38 +0200 | haftmann | insert replacing ins ins_int ins_string | file | diff | annotate |
| Wed, 06 Sep 2006 10:01:04 +0200 | haftmann | TypedefPackage.add_typedef_* now yields name of introduced type constructor | file | diff | annotate |
| Wed, 02 Aug 2006 22:26:37 +0200 | wenzelm | removed obsolete Drule.frees/vars_of etc.; | file | diff | annotate |
| 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 |
| Thu, 16 Feb 2006 03:23:57 +0100 | obua | adapted to kernel changes | file | diff | annotate |
| Wed, 15 Feb 2006 23:57:06 +0100 | obua | fixed bugs, added caching | file | diff | annotate |
| Mon, 06 Feb 2006 20:58:54 +0100 | wenzelm | Envir.(beta_)eta_contract; | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:14 +0100 | wenzelm | simplified type attribute; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |