Theory specifications --- with type-inference, but no internal polymorphism.
Theory specifications --- with type-inference, but no internal polymorphism.

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