changeset 41408 | 08a072ca6348 |
parent 41190 | 0bdc6fac5f48 |
child 41409 | 0bc364f772ef |
--- a/src/HOL/Mutabelle/mutabelle_extra.ML Wed Dec 29 12:16:49 2010 +0100 +++ b/src/HOL/Mutabelle/mutabelle_extra.ML Wed Dec 29 12:22:38 2010 +0100 @@ -1,8 +1,9 @@ (* Title: HOL/Mutabelle/mutabelle_extra.ML Author: Stefan Berghofer, Jasmin Blanchette, Lukas Bulwahn, TU Muenchen - Invokation of Counterexample generators +Invokation of Counterexample generators. *) + signature MUTABELLE_EXTRA = sig