Mon, 01 Jan 2018 20:42:05 +0000 | haftmann | skip abstract constructors silently in datatype clauses of computations | changeset | files |
Tue, 02 Jan 2018 21:32:14 +0100 | blanchet | removed para about 'old_datatype' in docs | changeset | files |
Tue, 02 Jan 2018 20:38:41 +0100 | wenzelm | old_datatype no longer exists (cf. 706b1cf7b76d); | changeset | files |