| 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 |
| Sat, 05 Nov 2011 19:47:22 +0100 | wenzelm | some performance tuning via Term_Subst/Same.operation; | changeset | files |
| Sat, 05 Nov 2011 18:58:40 +0100 | wenzelm | pruned signature; | changeset | files |
| Sat, 05 Nov 2011 15:00:49 +0100 | wenzelm | added Logic.varify_types_global/unvarify_types_global, which avoids somewhat expensive Term.map_types; | changeset | files |
| Sat, 05 Nov 2011 10:59:11 +0100 | wenzelm | more conventional syntax const; | changeset | files |