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 |
Thu, 30 Nov 2006 14:17:25 +0100 | wenzelm | Goal.norm/close_result; | changeset | files |
Thu, 30 Nov 2006 14:17:22 +0100 | wenzelm | simplified syntax for 'definition', 'abbreviation'; | changeset | files |