Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Wed, 29 Oct 2014 11:19:27 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 03 Sep 2014 00:06:21 +0200 | blanchet | use 'datatype_new' in Quickcheck examples | file | diff | annotate |
Mon, 25 Feb 2013 12:17:50 +0100 | wenzelm | prefer stateless 'ML_val' for tests; | file | diff | annotate |
Mon, 02 Jul 2012 12:23:30 +0200 | bulwahn | adding some minimal documentation and an example of quickcheck's interfaces | file | diff | annotate |