| Thu, 30 Nov 2006 14:17:32 +0100 | wenzelm | zero_var_indexes_inst: multiple terms; | file | diff | annotate |
| Sun, 12 Nov 2006 21:14:52 +0100 | wenzelm | instantiate: tuned indentity case; | file | diff | annotate |
| Sun, 05 Nov 2006 21:44:39 +0100 | wenzelm | instantiate: avoid global references; | file | diff | annotate |
| Tue, 12 Sep 2006 12:16:17 +0200 | wenzelm | Efficient term substitution -- avoids copying. | file | diff | annotate |