]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/doc/mathql_introduction.tex
updating the introduction
[helm.git] / helm / mathql / doc / mathql_introduction.tex
index 07894cb185b2d58e976354831f2eac97200ed37b..61cc88c0244ba3514408efca64337cbf02a2aad0 100644 (file)
@@ -20,7 +20,5 @@ the query results.
 \input{mathql_introduction_avsets}
 \input{mathql_introduction_property}
 \input{mathql_introduction_core}
-\input{mathql_introduction_textual}
-
-
-
+\input{mathql_introduction_basic}
+% \input{mathql_introduction_textual}