| Thu, 07 Sep 2006 15:16:26 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 06 Sep 2006 22:48:36 +0200 |
wenzelm |
read_instantiate: declare names of TVars as well (temporary workaround for no-freeze feature of type inference);
|
changeset |
files
|
| Wed, 06 Sep 2006 17:39:52 +0200 |
webertj |
rawsat_thm: mk_conjunction_list replaced by Conjunction.mk_conjunction_list
|
changeset |
files
|
| Wed, 06 Sep 2006 13:48:02 +0200 |
haftmann |
got rid of Numeral.bin type
|
changeset |
files
|
| Wed, 06 Sep 2006 10:01:27 +0200 |
haftmann |
now using TypecopyPackage
|
changeset |
files
|
| Wed, 06 Sep 2006 10:01:04 +0200 |
haftmann |
TypedefPackage.add_typedef_* now yields name of introduced type constructor
|
changeset |
files
|
| Tue, 05 Sep 2006 22:06:18 +0200 |
wenzelm |
added Barendregt-Geuvers:2001;
|
changeset |
files
|
| Tue, 05 Sep 2006 22:05:49 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Tue, 05 Sep 2006 22:05:41 +0200 |
wenzelm |
more on types and type classes;
|
changeset |
files
|
| Tue, 05 Sep 2006 22:05:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 05 Sep 2006 22:04:56 +0200 |
wenzelm |
added \isactrlvec;
|
changeset |
files
|
| Tue, 05 Sep 2006 16:42:32 +0200 |
wenzelm |
tuned;
|
changeset |
files
|