tailored enum specification towards simple instantiation; tuned enum instantiations
tailored enum specification towards simple instantiation;
tuned enum instantiations

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