| Thu, 24 Jan 2002 16:37:43 +0100 | wenzelm | iff del: less_Suc0 -- luckily this does NOT affect the printed text; | changeset | files |
| Wed, 23 Jan 2002 17:13:54 +0100 | wenzelm | delsimps [less_Suc0]; | changeset | files |
| Wed, 23 Jan 2002 17:01:53 +0100 | wenzelm | less_Suc0; | changeset | files |