diff -r 2878845bc549 -r 08a072ca6348 src/HOL/Mutabelle/mutabelle_extra.ML
--- 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