renamed "rulify" to "rulified"; renamed "less_induct" to "nat_less_induct";
renamed "rulify" to "rulified";
renamed "less_induct" to "nat_less_induct";

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