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 |