Sat, 27 Mar 2010 14:48:46 +0100 | Cezary Kaliszyk | Automated lifting can be restricted to specific quotient types | file | diff | annotate |
Fri, 19 Mar 2010 06:14:37 +0100 | Cezary Kaliszyk | Check that argument is not a 'Bound' before calling fastype_of. | file | diff | annotate |
Sun, 14 Mar 2010 14:36:56 +0100 | wenzelm | tuned comment; | file | diff | annotate |
Sun, 14 Mar 2010 14:31:24 +0100 | wenzelm | observe standard header format; | file | diff | annotate |
Sun, 07 Mar 2010 12:19:47 +0100 | wenzelm | modernized structure Object_Logic; | file | diff | annotate |
Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |