Matita Home
Synopsis:
include'
qstring
Action:
Not documented (
TODO
), do not use it.