Disambiguation evidence for Isabelle/Scala layer via surface form

"Isabelle/Scala layer"

Triples (1)

Triples where some other subject referred to this entity as "Isabelle/Scala layer".

Isabelle/jEdit → uses →
"Isabelle/Scala layer"
↳ resolves to Isabelle/Scala layer
ⓘ