src/HOL/Mutabelle/MutabelleExtra.thy
changeset 46454 d72ab6bf6e6d
parent 46453 9e83b7c24b05
child 48891 c0eafbd55de3
     1.1 --- a/src/HOL/Mutabelle/MutabelleExtra.thy	Sat Feb 11 11:36:23 2012 +0100
     1.2 +++ b/src/HOL/Mutabelle/MutabelleExtra.thy	Sat Feb 11 12:13:08 2012 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4    MutabelleExtra.thms_of false thy
     1.5    |> MutabelleExtra.take_random 200
     1.6    |> (fn thms => MutabelleExtra.mutate_theorems_and_write_report
     1.7 -         @{theory} 50 mtds thms (log_directory ^ "/" ^ name)))
     1.8 +         @{theory} (1, 50) mtds thms (log_directory ^ "/" ^ name)))
     1.9  *}
    1.10    
    1.11