| Tue, 30 Dec 2008 21:49:09 +0100 | wenzelm | freeze_thaw: canonical Term.add_XXX operations; | changeset | files |
| 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 |