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:31:24 +0100 | wenzelm | observe standard header format; | file | diff | annotate |
Sat, 27 Feb 2010 20:57:08 +0100 | wenzelm | clarified @{const_name} vs. @{const_abbrev}; | file | diff | annotate |
Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |