changeset 37744 | 3daaf23b9ab4 |
parent 36743 | ce2297415b54 |
child 38795 | 848be46708dc |
--- a/src/HOL/Mutabelle/mutabelle_extra.ML Thu Jul 08 16:19:23 2010 +0200 +++ b/src/HOL/Mutabelle/mutabelle_extra.ML Thu Jul 08 16:19:24 2010 +0200 @@ -1,5 +1,4 @@ -(* - Title: HOL/Mutabelle/mutabelle_extra.ML +(* Title: HOL/Mutabelle/mutabelle_extra.ML Author: Stefan Berghofer, Jasmin Blanchette, Lukas Bulwahn, TU Muenchen Invokation of Counterexample generators