beautifying definitions of check_all and adding instance for finite_4
beautifying definitions of check_all and adding instance for finite_4

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