Fri, 01 Jul 2005 04:09:27 +0200 | huffman | added theorem lift_definedE; moved cont_if to Cont.thy | changeset | files |
Fri, 01 Jul 2005 04:02:22 +0200 | huffman | added tactic cont_tac | changeset | files |
Fri, 01 Jul 2005 04:00:23 +0200 | huffman | remove uses of sign_of | changeset | files |
Fri, 01 Jul 2005 02:35:24 +0200 | huffman | cleaned up | changeset | files |
Fri, 01 Jul 2005 02:30:59 +0200 | huffman | cleaned up | changeset | files |
Fri, 01 Jul 2005 01:50:46 +0200 | huffman | renamed flatdom2monofun to flatdom_strict2mono | changeset | files |