Hilbert_Classical: sequential loading due to @{prf}, which joins within a critical section (via options);
Hilbert_Classical: sequential loading due to @{prf}, which joins within a critical section (via options);

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