Sat, 13 Aug 2011 21:28:01 +0200 | wenzelm | merged | changeset | files |
Sat, 13 Aug 2011 07:56:55 -0700 | huffman | HOL-Hahn_Banach: use Set_Algebras library | changeset | files |
Sat, 13 Aug 2011 07:39:35 -0700 | huffman | ex/Quickcheck_Examples.thy: respect distinction between sets and functions | changeset | files |