| Fri, 03 Dec 2010 10:03:13 +0100 | huffman | theorem names generated by the (rep_)datatype command now have mandatory qualifiers | changeset | files |
| Fri, 03 Dec 2010 10:03:10 +0100 | krauss | eliminated unqualified accesses of datatype facts -- it seems like they all of them were unintended | changeset | files |
| Fri, 03 Dec 2010 09:58:32 +0100 | bulwahn | NEWS | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | only instantiate type variable if there exists some in quickcheck | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | fixing comment in library | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adapting predicate_compile_quickcheck | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adding a nice definition of Id_on for quickcheck and nitpick | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adding code equation for finiteness of finite types | changeset | files |