| Sat, 05 Nov 2011 12:01:21 +0000 | Christian Urban | more use of global operations (see 98ec8b51af9c) | changeset | files |
| Sat, 05 Nov 2011 20:40:30 +0100 | wenzelm | more uniform instT_subst vs. inst_subst: compare variable names only; | changeset | files |
| Sat, 05 Nov 2011 20:32:12 +0100 | wenzelm | tuned cterm_instantiate: avoid somewhat expensive Term.map_types and cterm_of; | changeset | files |
| Sat, 05 Nov 2011 20:07:38 +0100 | wenzelm | misc tuning and modernization; | changeset | files |