encode clauses as Isar premises, rather than as object-logic &, for faster parsing
encode clauses as Isar premises, rather than as object-logic &, for faster parsing

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