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