| Sat, 17 Oct 2009 19:04:35 +0200 | wenzelm | eliminated old List.foldr and OldTerm operations; | changeset | files |
| Sat, 17 Oct 2009 18:14:47 +0200 | wenzelm | removed unused names; | changeset | files |
| Sat, 17 Oct 2009 18:01:24 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Sat, 17 Oct 2009 17:18:59 +0200 | wenzelm | less pervasive names; | changeset | files |