| Sat, 02 Dec 2006 14:59:25 +0100 | wenzelm | meta_term_syntax: proper operation on untyped preterms; | changeset | files |
| Sat, 02 Dec 2006 11:33:08 +0100 | haftmann | generalized type signature of foldSet, fold | changeset | files |
| Sat, 02 Dec 2006 02:52:07 +0100 | wenzelm | added some support for embedded terms; | changeset | files |