crank up limit a bit -- truly huge background theories are still nearly 3 times larger
crank up limit a bit -- truly huge background theories are still nearly 3 times larger

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