--- a/src/HOL/Mutabelle/mutabelle.ML Thu Jul 08 16:19:23 2010 +0200
+++ b/src/HOL/Mutabelle/mutabelle.ML Thu Jul 08 16:19:24 2010 +0200
@@ -1,5 +1,4 @@
-(*
- Title: HOL/Mutabelle/mutabelle.ML
+(* Title: HOL/Mutabelle/mutabelle.ML
Author: Veronika Ortner, TU Muenchen
Mutation of theorems