Disambiguation evidence for Isabelle/Isar Reference Manual via surface form

"Isabelle/Isar Implementation manual"

Triples (1)

Triples where some other subject referred to this entity as "Isabelle/Isar Implementation manual".

Isabelle/ML → documentedIn →
"Isabelle/Isar Implementation manual"
ⓘ