added print_theorems: theory -> unit; added print_theory: theory -> unit; added transaction mechanism as last resort to accomodate non-atomic   transformers (please avoid such things); tuned setup;
added print_theorems: theory -> unit;
added print_theory: theory -> unit;
added transaction mechanism as last resort to accomodate non-atomic
  transformers (please avoid such things);
tuned setup;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle