Loads the local hypsubst.ML.  No longer loads ../Provers/ind.ML, which was never used.
Loads the local hypsubst.ML.  No longer loads ../Provers/ind.ML,
which was never used.

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