| Sat, 13 Aug 2011 18:10:14 -0700 | huffman | HOL-Nominal-Examples: respect distinction between sets and functions | changeset | files |
| Sat, 13 Aug 2011 22:04:07 +0200 | wenzelm | less verbosity in batch mode -- spam reduction and notable performance improvement; | changeset | files |
| 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 |