- matex: support for alpha-conversion completed

[helm.git] / matita / components / binaries / matex / test / test.tex

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index a85f8c8f6234112dcef1a32dfd9d0be9bd2ef392..fe150474c72d6e543cae32db4f2514ad801dae2a 100644 (file)
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -12,10 +12,4 @@
 
 \input{objs}
 
-\bigskip
-
-\ObjRef{pr0}
-\ObjRef{pr0_ind}
-\ObjRef{pr0_confluence}
-
 \end{document}