X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Ftest.tex;h=e30233190c53059d69b96bd070eb756debe9b42d;hb=ea6b4322051d3eb1794bfca3928f6e1773f971ba;hp=1a075c37c66b95e51c1e83ff0d552fca5eeb459b;hpb=2ffd7e47f1872878f6af4084074655da5cf3b23e;p=helm.git

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index 1a075c37c..e30233190 100644
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -1,13 +1,26 @@
 \documentclass{article}
 
+\usepackage[bookmarks=false,ps2pdf]{hyperref}
+\usepackage[american]{babel}
 \usepackage{matex}
 
 \begin{document}
 
+\input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.type.tex}
+
+\bigskip
+
+\input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.body.tex}
+
+\bigskip
+
 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
 
 \bigskip
 
 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
 
+\ObjRef{pr0_ind}
+\ObjRef{pr0_confluence}
+
 \end{document}