Sun, 13 Feb 2011 17:19:43 +0100 | wenzelm | tuned; | changeset | files |
Sun, 13 Feb 2011 08:47:36 +0100 | nipkow | more pretty set comprehension sugar | changeset | files |
Fri, 11 Feb 2011 15:31:19 +0100 | bulwahn | merged | changeset | files |
Fri, 11 Feb 2011 11:47:44 +0100 | bulwahn | adjusting HOL-Mutabelle to changes in quickcheck | changeset | files |
Fri, 11 Feb 2011 11:47:43 +0100 | bulwahn | quickcheck can be invoked with its internal timelimit or without | changeset | files |
Fri, 11 Feb 2011 11:47:42 +0100 | bulwahn | quickcheck invokes TimeLimit.timeLimit only in one separate function | changeset | files |