Mon, 08 Nov 2010 05:07:18 -0800 | huffman | merged | changeset | files |
Sat, 06 Nov 2010 10:01:00 -0700 | huffman | merged | changeset | files |
Fri, 05 Nov 2010 15:15:28 -0700 | huffman | (infixl "<<" 55) -> (infix "<<" 50) | changeset | files |
Wed, 03 Nov 2010 17:22:25 -0700 | huffman | simplify some proofs | changeset | files |
Wed, 03 Nov 2010 17:06:21 -0700 | huffman | remove unnecessary stuff from Discrete.thy | changeset | files |
Wed, 03 Nov 2010 16:39:23 -0700 | huffman | remove some unnecessary lemmas; move monofun_LAM to Cfun.thy | changeset | files |