--- a/NEWS Mon Nov 22 10:41:55 2010 +0100
+++ b/NEWS Mon Nov 22 10:41:56 2010 +0100
@@ -89,6 +89,9 @@
*** HOL ***
+* Quickcheck's generator for random generation is renamed from "code" to
+"random". INCOMPATIBILITY.
+
* Theory Multiset provides stable quicksort implementation of sort_key.
* Quickcheck now has a configurable time limit which is set to 30 seconds
--- a/src/HOL/Tools/quickcheck_generators.ML Mon Nov 22 10:41:55 2010 +0100
+++ b/src/HOL/Tools/quickcheck_generators.ML Mon Nov 22 10:41:56 2010 +0100
@@ -413,6 +413,6 @@
Datatype.interpretation ensure_random_datatype
#> Code_Target.extend_target (target, (Code_Runtime.target, K I))
#> Context.theory_map
- (Quickcheck.add_generator ("code", compile_generator_expr));
+ (Quickcheck.add_generator ("random", compile_generator_expr));
end;