include alias "s"
include alias qstring
Every interpretation declared in the file s is re-declared so to make it the preferred choice for disambiguation.
Matita HomeMatita Home