| Tue, 11 Jul 2006 23:49:32 +0200 | wenzelm | avoid reference to internal skolem; | changeset | files |
| Tue, 11 Jul 2006 23:00:39 +0200 | wenzelm | separate names filed (covers fixes/defaults); | changeset | files |
| Tue, 11 Jul 2006 23:00:39 +0200 | wenzelm | adapted Name.defaults_of; | changeset | files |