| Thu, 17 Mar 1994 11:24:31 +0100 | clasohm | adapted type definition to new syntax | changeset | files |
| Fri, 04 Mar 1994 12:14:21 +0100 | wenzelm | fixed misfeature in Sign.extend: types of consts were read wrt. the new syntax; | changeset | files |
| Thu, 03 Mar 1994 17:43:14 +0100 | lcp | changed "x" to "uu" for implicit name of the | changeset | files |
| Tue, 01 Mar 1994 17:21:47 +0100 | nipkow | update towards LNCS | changeset | files |
| Tue, 01 Mar 1994 16:00:53 +0100 | nipkow | deleted a comment | changeset | files |
| Sat, 26 Feb 1994 16:27:45 +0100 | nipkow | *** empty log message *** | changeset | files |