test: use SkipProof.make_thm instead of Thm.assume;
test: use SkipProof.make_thm instead of Thm.assume;

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