Moved "qed" - functions etc. from thy_read.ML to thm_database.ML.
Moved "qed" - functions etc. from thy_read.ML to thm_database.ML.

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