X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_tests.tex;h=883bf23abe2947986711038794ff79d5dc610d29;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1e31b947242714b0ae69c9f4474e9685ec6d257e;hpb=552dbd63f202c8876605b62621c3e727d71e3963;p=helm.git

diff --git a/helm/mathql/doc/mathql_tests.tex b/helm/mathql/doc/mathql_tests.tex
index 1e31b9472..883bf23ab 100644
--- a/helm/mathql/doc/mathql_tests.tex
+++ b/helm/mathql/doc/mathql_tests.tex
@@ -26,3 +26,5 @@ main /"h:occurrence" istrue /"h:position" in {$IC, $IH} of @uri} in @uri
 in let $trans = select @uri from $trans1 where ex (not @uri./"extra" and
 (@uri./"premises" sub {@uri./"rel", @uri./"set"})) in keep $trans
 \end{verbatim} \end{footnotesize} %$
+
+\input{mathql_tests_transitive}