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 |
Fri, 08 Jul 2005 02:42:04 +0200 | huffman | renamed upE1 to upE; added simp rule cont2cont_flift1 | changeset | files |