* Theory loader: be more serious about observing the static theory header specifications; * Theory loader: optional support for content-based file identification;
* Theory loader: be more serious about observing the static theory header specifications;
* Theory loader: optional support for content-based file identification;

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