| Thu, 13 Jul 2000 23:10:12 +0200 | wenzelm | fixed name: UN_empty3; | changeset | files |
| Thu, 13 Jul 2000 23:09:25 +0200 | wenzelm | replaced infix Plus by <+>; | changeset | files |
| Thu, 13 Jul 2000 23:09:03 +0200 | wenzelm | removed duplicate Compl_atMost; | changeset | files |