| Mon, 22 Feb 2010 21:48:20 -0800 | huffman | proper header and subsection headings | file | diff | annotate |
| Fri, 19 Feb 2010 17:37:33 +0100 | Cezary Kaliszyk | quote the constant and theorem name with @{text} | file | diff | annotate |
| Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |