| Wed, 17 Mar 1999 16:32:38 +0100 | wenzelm | fixed msg; | changeset | files |
| Wed, 17 Mar 1999 15:43:04 +0100 | wenzelm | tuned msg; | changeset | files |
| Wed, 17 Mar 1999 13:56:29 +0100 | wenzelm | axclass_tac lost an argument; | changeset | files |
| Wed, 17 Mar 1999 13:54:42 +0100 | wenzelm | HOL/typedef: fixed type inference for representing set; | changeset | files |
| Wed, 17 Mar 1999 13:50:51 +0100 | wenzelm | rep_datatype: '_i' version, attributes, outer syntax; | changeset | files |
| Wed, 17 Mar 1999 13:49:39 +0100 | wenzelm | local open OuterParse; | changeset | files |
| Wed, 17 Mar 1999 13:49:14 +0100 | wenzelm | actually check non-emptiness theorem; | changeset | files |