| Thu, 30 Nov 2006 14:17:36 +0100 | wenzelm | removed obsolete (export_)standard; | changeset | files |
| Thu, 30 Nov 2006 14:17:34 +0100 | wenzelm | added mixfix'; | changeset | files |
| Thu, 30 Nov 2006 14:17:34 +0100 | wenzelm | added merge_list; | changeset | files |
| Thu, 30 Nov 2006 14:17:32 +0100 | wenzelm | zero_var_indexes_inst: multiple terms; | changeset | files |
| Thu, 30 Nov 2006 14:17:31 +0100 | wenzelm | Theory.merge_list; | changeset | files |
| Thu, 30 Nov 2006 14:17:29 +0100 | wenzelm | qualified MetaSimplifier.norm_hhf(_protect); | changeset | files |
| Thu, 30 Nov 2006 14:17:29 +0100 | wenzelm | added norm/close_result (supercede local_standard etc.); | changeset | files |
| Thu, 30 Nov 2006 14:17:27 +0100 | wenzelm | added zero_var_indexes_list; | changeset | files |