Fri, 08 Jul 2005 03:12:58 +0200 | huffman | fix typo | changeset | files |
Fri, 08 Jul 2005 03:09:32 +0200 | huffman | replaced old continuity rules with new lemma cont2cont_lift_case | changeset | files |
Fri, 08 Jul 2005 02:42:42 +0200 | huffman | simplified proof of ifte_thms, removed ifte_simp | changeset | files |