Disambiguation evidence for Isabelle theory files via surface form
"Isabelle theory files"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle theory files".
Isabelle document preparation system
→
integratesWith
→
"Isabelle theory files"
ⓘ
↳ resolves to Isabelle theory files