Tue, 17 Aug 2010 17:01:31 +0200 | blanchet | merged | changeset | files |
Tue, 17 Aug 2010 16:49:51 +0200 | blanchet | invoke Variable.export/import_term on the entire formula, to make sure that schematic variables don't get different indices in different subterms; | changeset | files |
Tue, 17 Aug 2010 16:47:40 +0200 | blanchet | tuning | changeset | files |