make_meta_clause bugfix: now works for higher-order clauses like LeastI_ex
make_meta_clause bugfix: now works for higher-order clauses like LeastI_ex

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