Sun, 09 Oct 2011 11:13:53 +0200 | huffman | Int.thy: discontinued some legacy theorems | changeset | files |
Sun, 09 Oct 2011 08:30:48 +0200 | huffman | Set.thy: remove redundant [simp] declarations | changeset | files |
Mon, 03 Oct 2011 22:21:19 +0200 | bulwahn | removing code equation for card on finite types when loading the Executable_Set theory; should resolve a code generation issue with CoreC++ | changeset | files |