- some code patched

[helm.git] / helm / mathql / doc / mathql_tests.tex

diff --git a/helm/mathql/doc/mathql_tests.tex b/helm/mathql/doc/mathql_tests.tex
index 1e31b947242714b0ae69c9f4474e9685ec6d257e..883bf23abe2947986711038794ff79d5dc610d29 100644 (file)
--- 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}