Tue, 05 Apr 2011 09:38:28 +0200 | bulwahn | removing bounded_forall code equation for characters when loading Code_Char | changeset | files |
Tue, 05 Apr 2011 09:38:23 +0200 | bulwahn | deriving bounded_forall instances in quickcheck_exhaustive | changeset | files |
Tue, 05 Apr 2011 08:53:52 +0200 | bulwahn | generalizing ensure_sort_datatype for bounded_forall instances | changeset | files |