moved ProofContext.pretty_thm to Display.pretty_thm etc.;
explicit old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
removed some very old thm print operations;
(* Title: HOL/Word/Word.thy
Author: Gerwin Klein, NICTA
*)
header {* Word Library interafce *}
theory Word
imports WordGenLib
begin
text {* see @{text "Examples/WordExamples.thy"} for examples *}
end