X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Ftest.tex;h=fe150474c72d6e543cae32db4f2514ad801dae2a;hb=d03e9fa5ea709a937148a67fc115d894e5990063;hp=80f7656529477e372a0024146e84a3c074792abe;hpb=788e7cb15734fd228e8788ea628934af483ae772;p=helm.git

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index 80f765652..fe150474c 100644
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -4,23 +4,12 @@
 \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}
+\newcounter{node}
+\renewcommand*\ObjIncNode{\stepcounter{node}}
+\renewcommand*\ObjNode{\arabic{node} }
 
-\bigskip
-
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
-
-\bigskip
-
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
+\begin{document}
 
-\ObjRef{pr0_ind}
-\ObjRef{pr0_confluence}
+\input{objs}
 
 \end{document}