| Thu, 17 Mar 1994 12:56:44 +0100 | lcp | CCL/ccl.ML/po_refl_iff_T: deleted reference to make_iff_T | changeset | files |
| Thu, 17 Mar 1994 12:36:58 +0100 | lcp | Improved layout for inductive defs | changeset | files |
| 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 |