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 |