Now checks for existence of theory Inductive (Fixedpt was too small)
Now checks for existence of theory Inductive (Fixedpt was too small)

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