mk_frees, assume_read moved here; FOLogic.mk_conj, FOLogic.mk_disj;
mk_frees, assume_read moved here;
FOLogic.mk_conj, FOLogic.mk_disj;

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