Disambiguation evidence for Proof General via surface form
"Proof General (for many Isabelle users)"
Triples (1)
Triples where some other subject referred to this entity
as "Proof General (for many Isabelle users)".