FOL_basic_ss: simprocs moved to FOL_ss;
FOL_basic_ss: simprocs moved to FOL_ss;

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