src/HOL/ex/Random.thy
2008-03-12 haftmann 2008-03-12 separated Random.thy from Quickcheck.thy
2008-03-12 haftmann 2008-03-12 continued
2008-02-26 haftmann 2008-02-26 some steps towards automated generators
2008-02-06 haftmann 2008-02-06 continued
2008-02-04 haftmann 2008-02-04 towards quickcheck
2007-10-12 haftmann 2007-10-12 consolidated naming conventions for code generator theories
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-10 haftmann 2007-08-10 tuned
2007-07-29 wenzelm 2007-07-29 marked some CRITICAL sections;
2007-05-06 haftmann 2007-05-06 changed code generator invocation syntax
2007-04-26 haftmann 2007-04-26 moved code generation pretty integers and characters to separate theories
2007-03-27 haftmann 2007-03-27 cleaned up HOL/ex/Code*.thy