axiomatic type class 'package' for Pure (alpha version);
axiomatic type class 'package' for Pure (alpha version);

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