cases/induct attributes; use NetRules for storage; tuned rule selection; tuned concrete syntax;
cases/induct attributes;
use NetRules for storage;
tuned rule selection;
tuned concrete syntax;

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