actually produce projected rules; *.inducts holds all projected rules;
actually produce projected rules;
*.inducts holds all projected rules;

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