src/HOL/Mutabelle/mutabelle.ML

 (*  Title:      HOL/Mutabelle/mutabelle.ML
     Author:     Veronika Ortner, TU Muenchen
 
-    Mutation of theorems
+Mutation of theorems.
 *)
+
 signature MUTABELLE =
 sig
  val testgen_name : string Unsynchronized.ref
  exception WrongPath of string;
  exception WrongArg of string;

    List.mapPartial (fn (s, (T, NONE)) => SOME (s, T) | _ => NONE)
      (filter_out (fn (s, _) => Name_Space.is_concealed namespace s) consts)
  end;
 
 
-(*helper function in order to properly print a term*)
+(*possibility to print a given term for debugging purposes*)
 
 fun prt x = Pretty.writeln (Syntax.pretty_term_global @{theory Main} x);
-
-
-(*possibility to print a given term for debugging purposes*)
 
 val debug = (Unsynchronized.ref false);
 fun debug_msg mutterm = if (!debug) then (prt mutterm) else ();