| Tue, 30 Dec 2008 21:48:07 +0100 | wenzelm | varify: regular name context; | changeset | files |
| Tue, 30 Dec 2008 21:47:11 +0100 | wenzelm | canonical Term.add_var_names, Term.add_tvar_namesT; | changeset | files |
| Tue, 30 Dec 2008 21:46:48 +0100 | wenzelm | canonical Term.add_var_names; | changeset | files |
| Tue, 30 Dec 2008 21:46:14 +0100 | wenzelm | provide canonical add_tvar_namesT, add_tvar_names, add_tfree_namesT, add_tfree_names, add_free_names; | changeset | files |
| Tue, 30 Dec 2008 20:53:21 +0100 | wenzelm | removed unused head_name_of; | changeset | files |
| Tue, 30 Dec 2008 19:08:43 +0100 | wenzelm | merged | changeset | files |
| Tue, 30 Dec 2008 19:07:42 +0100 | wenzelm | prep_result: Thm.close_derivation of witness theorem avoids performance issues with proof terms; | changeset | files |
| Tue, 30 Dec 2008 16:50:46 +0100 | ballarin | New locales. | changeset | files |