| Sun, 15 Apr 2007 23:25:50 +0200 | wenzelm | removed obsolete TypeInfer.logicT -- use dummyT; | file | diff | annotate |
| Sun, 15 Apr 2007 14:31:47 +0200 | wenzelm | Thm.fold_terms; | file | diff | annotate |
| Sat, 14 Apr 2007 17:35:52 +0200 | wenzelm | cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; | file | diff | annotate |
| Wed, 04 Apr 2007 23:29:33 +0200 | wenzelm | rep_thm/cterm/ctyp: removed obsolete sign field; | file | diff | annotate |
| 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 |