| Thu, 06 Jul 2006 11:26:49 +0200 | wenzelm | def_export: Drule.generalize; | changeset | files |
| Thu, 06 Jul 2006 11:26:46 +0200 | wenzelm | matchers: fall back on plain first_order_matchers, not pattern; | changeset | files |
| Wed, 05 Jul 2006 23:51:22 +0200 | kleing | make sure $DISTPREFIX exists before calling makedist | changeset | files |
| Wed, 05 Jul 2006 16:24:28 +0200 | paulson | removed the "tagging" feature | changeset | files |
| Wed, 05 Jul 2006 16:24:10 +0200 | paulson | made the conversion of elimination rules more robust | changeset | files |
| Wed, 05 Jul 2006 14:22:09 +0200 | mengj | Literals aren't sorted any more. | changeset | files |
| Wed, 05 Jul 2006 14:21:22 +0200 | mengj | Literals aren't sorted any more. Output overloaded constants' type var instantiations. | changeset | files |
| Wed, 05 Jul 2006 11:32:38 +0200 | schirmer | fixed let-simproc | changeset | files |