Thu, 17 Mar 1994 11:24:31 +0100 clasohm adapted type definition to new syntax
Fri, 04 Mar 1994 12:14:21 +0100 wenzelm fixed misfeature in Sign.extend: types of consts were read wrt. the new syntax;
Thu, 03 Mar 1994 17:43:14 +0100 lcp changed "x" to "uu" for implicit name of the
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip