| Thu, 13 Jul 2000 23:11:38 +0200 | wenzelm | use Syntax.read_xnum; | changeset | files |
| Thu, 13 Jul 2000 23:11:14 +0200 | wenzelm | fixed simplified_cases; | changeset | files |
| 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 |
| Thu, 13 Jul 2000 23:08:42 +0200 | wenzelm | fixed compose decl; | changeset | files |
| Thu, 13 Jul 2000 23:08:20 +0200 | wenzelm | defs: (overloaded) option; | changeset | files |