| Fri, 19 Mar 2010 06:14:37 +0100 | Cezary Kaliszyk | Check that argument is not a 'Bound' before calling fastype_of. | changeset | files |
| Fri, 19 Mar 2010 00:47:23 +0100 | wenzelm | typedef etc.: no constraints; | changeset | files |
| Fri, 19 Mar 2010 00:46:08 +0100 | wenzelm | allow sort constraints in HOL/typedef; | changeset | files |