src/HOL/Mutabelle/MutabelleExtra.thy
Sun, 04 May 2014 18:53:58 +0200 blanchet added 'satx' proof method to Try0
Fri, 14 Mar 2014 16:54:01 +0100 wenzelm prefer more robust Synchronized.var;
Fri, 12 Jul 2013 23:45:05 +0200 wenzelm system options for Isabelle/HOL proof tools;
Wed, 31 Oct 2012 11:23:21 +0100 blanchet repaired "Mutabelle" after Refute move
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Sat, 11 Feb 2012 12:13:08 +0100 bulwahn making num_mutations a configuration that can be changed with the mutabelle bash command
Sat, 11 Feb 2012 11:36:23 +0100 bulwahn making max_mutants an option that can be changed in the Mutabelle-script
less more (0) -10 -7 tip