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 |