Wed, 04 Apr 2012 13:41:38 +0200 | huffman | prove_quot_theorem fixes types | changeset | files |
Wed, 04 Apr 2012 14:08:24 +0200 | bulwahn | documenting options quickcheck_locale; adjusting IsarRef documentation of Quotient predicate; NEWS | changeset | files |
Wed, 04 Apr 2012 12:22:51 +0200 | bulwahn | added option quickcheck_locale to allow different behaviours for handling locales in Quickcheck; | changeset | files |