| 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 |
| Tue, 11 Jul 2006 23:00:37 +0200 | wenzelm | removed obsolete xless; | changeset | files |
| Tue, 11 Jul 2006 23:00:36 +0200 | wenzelm | clean: no special treatment of empty name; | changeset | files |
| Tue, 11 Jul 2006 23:00:35 +0200 | wenzelm | removed obsolete xless; | changeset | files |
| Tue, 11 Jul 2006 18:10:47 +0200 | webertj | replaced mk_listT by HOLogic.listT; trivial whitespace/comment changes | changeset | files |
| Tue, 11 Jul 2006 14:21:08 +0200 | wenzelm | uniform treatment of num/xnum; | changeset | files |