Meson.is_fol_term now takes a theory as argument. Minor tidying.
Meson.is_fol_term now takes a theory as argument. Minor tidying.

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