"fun" command: Changed pattern compatibility proof back from "simp_all" to the slower but more robust "auto"
"fun" command: Changed pattern compatibility proof back from "simp_all" to the slower but more robust "auto"

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