| Wed, 17 Mar 2010 19:37:44 +0100 | blanchet | renamed "ATP_Linkup" theory to "Sledgehammer" | file | diff | annotate |
| 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 |