href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator</a>)
allows to build specific kinds of MathQL-1 queries, which are meaningful
in the context of HELM, starting from a high-level description of the wanted
href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator</a>)
allows to build specific kinds of MathQL-1 queries, which are meaningful
in the context of HELM, starting from a high-level description of the wanted