| 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
|
| 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
|