| Wed, 17 Mar 1999 16:33:00 +0100 | wenzelm | qualify Theory.sign_of etc.; | changeset | files |
| 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 |