| Sat, 13 Mar 2010 14:43:04 +0100 | wenzelm | global typedef; | file | diff | annotate |
| Mon, 01 Mar 2010 12:30:55 +0100 | Cezary Kaliszyk | export add_quotient_type. | file | diff | annotate |
| Wed, 24 Feb 2010 20:37:01 +0100 | wenzelm | allow general mixfix syntax for type constructors; | file | diff | annotate |
| Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |