Fri, 29 Oct 2010 16:51:40 -0700 | huffman | renamed lemma cont2cont_Rep_CFun to cont2cont_APP | changeset | files |
Fri, 29 Oct 2010 16:24:07 -0700 | huffman | simplify proof of typedef_cont_Abs | changeset | files |
Wed, 27 Oct 2010 15:50:01 -0700 | huffman | rename constant trifte to tr_case | changeset | files |
Wed, 27 Oct 2010 14:31:39 -0700 | huffman | add 'LAM (Def x). t' as alternative syntax for 'FLIFT x. t' | changeset | files |
Wed, 27 Oct 2010 14:15:54 -0700 | huffman | make syntax of continuous if-then-else consistent with HOL if-then-else | changeset | files |
Wed, 27 Oct 2010 13:54:18 -0700 | huffman | rename lemmas *_defined_iff and *_strict_iff to *_bottom_iff | changeset | files |