Tue, 29 May 2012 16:39:42 +0200 | wenzelm | separate README dockable, which allows to make it more prominent first and remove it later; | changeset | files |
Tue, 29 May 2012 13:46:50 +0200 | bulwahn | added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS | changeset | files |
Tue, 29 May 2012 11:41:37 +0200 | huffman | shortened yet more multiset proofs; | changeset | files |