formally stylized
authorhaftmann
Fri Aug 14 15:36:55 2009 +0200 (2009-08-14)
changeset 32373c96330408d89
parent 32372 b0d2b49bfaed
child 32374 62617ef2c0d0
formally stylized
src/HOL/Quickcheck.thy
     1.1 --- a/src/HOL/Quickcheck.thy	Fri Aug 14 15:36:54 2009 +0200
     1.2 +++ b/src/HOL/Quickcheck.thy	Fri Aug 14 15:36:55 2009 +0200
     1.3 @@ -54,7 +54,7 @@
     1.4  begin
     1.5  
     1.6  definition 
     1.7 -  "random _ = Pair (STR [], \<lambda>u. Code_Eval.term_of (STR []))"
     1.8 +  "random _ = Pair (STR '''', \<lambda>u. Code_Eval.term_of (STR ''''))"
     1.9  
    1.10  instance ..
    1.11