Sun, 14 Mar 2010 15:50:17 +0100 | Christian Urban | removed Local_Theory.theory_result by using local Typedef.add_typedef | file | diff | annotate |
Sun, 14 Mar 2010 14:31:24 +0100 | wenzelm | observe standard header format; | file | diff | annotate |
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 |