added Pure/simplifier.ML, Pure/Isar/find_theorems.ML;
added Pure/simplifier.ML, Pure/Isar/find_theorems.ML;

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