Wed, 03 Nov 2010 16:39:23 -0700 | huffman | remove some unnecessary lemmas; move monofun_LAM to Cfun.thy | changeset | files |
Wed, 03 Nov 2010 15:57:39 -0700 | huffman | add lemma eq_imp_below | changeset | files |
Wed, 03 Nov 2010 15:47:46 -0700 | huffman | discontinue a bunch of legacy theorem names | changeset | files |