Tue, 16 Jan 2001 00:37:41 +0100 | wenzelm | * HOL/datatype: induction rule for arbitrarily branching datatypes is | changeset | files |
Tue, 16 Jan 2001 00:35:50 +0100 | wenzelm | use_text etc.: proper output of error messages; | changeset | files |
Tue, 16 Jan 2001 00:35:18 +0100 | wenzelm | export fold_ast etc.; | changeset | files |