Fri, 22 Jun 2007 22:41:17 +0200 | huffman | fix looping simp rule | changeset | files |
Fri, 22 Jun 2007 20:19:39 +0200 | huffman | reinstate real_root_less_iff [simp] | changeset | files |
Fri, 22 Jun 2007 16:16:23 +0200 | chaieb | merge is now identity | changeset | files |
Fri, 22 Jun 2007 10:23:37 +0200 | krauss | new method "elim_to_cases" provides ad-hoc conversion of obtain-style | changeset | files |
Thu, 21 Jun 2007 23:49:26 +0200 | huffman | section headings | changeset | files |
Thu, 21 Jun 2007 23:33:10 +0200 | huffman | add thm antiquotations | changeset | files |