X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Flegacy_1.sty;h=b240c44b170d4eb155742e459da9ae5432dee5f9;hb=f31020f1ae14e28c246b6cd9cf91b5864f4f536a;hp=45d3199cb4b7074d8e415d8b3d649e4817813fb7;hpb=da42c465b04bbfc470e73b8060155d1aadd184c5;p=helm.git

diff --git a/matita/components/binaries/matex/test/legacy_1.sty b/matita/components/binaries/matex/test/legacy_1.sty
index 45d3199cb..b240c44b1 100644
--- a/matita/components/binaries/matex/test/legacy_1.sty
+++ b/matita/components/binaries/matex/test/legacy_1.sty
@@ -1,5 +1,5 @@
 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
-\ProvidesPackage{legacy_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/legacy_1/"]
+\ProvidesPackage{legacy_1}[2016/07/03 Notation for "cic:/matita/lambdadelta/legacy_1/"]
 \RequirePackage{matex}
 \ExecuteOptions{}
 \ProcessOptions*
@@ -8,19 +8,19 @@
 
 \makeatletter
 
-\newcommand*\ld@and[1]{\setbinlink{\&}{#1}}
+\newcommand*\ld@and[1]{\setbinlink{\&}{#1}{}}
 \newcommand*\ld@lex[1]{\setordlink{\exists}{#1}}
-\newcommand*\ld@land[1]{\setrellink{\land}{#1}}
-\newcommand*\ld@lor[1]{\setrellink{\lor}{#1}}
-
-\newcommand*\ld@eq[1]{\setrellink{=}{#1}}
-\newcommand*\ld@le[1]{\setrellink{\le}{#1}}
-\newcommand*\ld@lt[1]{\setrellink{<}{#1}}
-\newcommand*\ld@minus[1]{\setbinlink{-}{#1}}
-\newcommand*\ld@lnot[1]{\setoplink{\lnot}{#1}}
-\newcommand*\ld@plus[1]{\setbinlink{+}{#1}}
-\newcommand*\ld@pred[1]{\setoplink{\midcir}{#1}}
-\newcommand*\ld@succ[1]{\setoplink{\cirmid}{#1}}
+\newcommand*\ld@land[1]{\setrellink{\land}{#1}{}}
+\newcommand*\ld@lor[1]{\setrellink{\lor}{#1}{}}
+
+\newcommand*\ld@eq[1]{\setrellink{=}{#1}{}}
+\newcommand*\ld@le[1]{\setrellink{\le}{#1}{}}
+\newcommand*\ld@lt[1]{\setrellink{<}{#1}{}}
+\newcommand*\ld@minus[1]{\setbinlink{-}{#1}{}}
+\newcommand*\ld@lnot[1]{\setoplink{\lnot}{#1}{}}
+\newcommand*\ld@plus[2]{\setbinlink{+}{#1}{#2}}
+\newcommand*\ld@pred[1]{\setoplink{\midcir}{#1}{}}
+\newcommand*\ld@succ[2]{\setoplink{\cirmid}{#1}{#2}}
 
 \newcommand*\ld@list[2]{\ma@list\relax\ma@arg{#1{#2}}\relax}
 
@@ -33,9 +33,9 @@
 \newcommand*\LT[3]{#2\ld@lt{#1}#3}
 \newcommand*\Minus[3]{#2\ld@minus{#1}#3}
 \newcommand*\LNot[2]{\ld@lnot{#1}#2}
-\newcommand*\Plus[3]{#2\ld@plus{#1}#3}
+\newcommand*\Plus[3]{#2\ld@plus{#1}{}#3}
 \newcommand*\Pred[2]{\ld@pred{#1}#2}
-\renewcommand*\Succ[2]{\ld@succ{#1}#2}
+\renewcommand*\Succ[2]{\ld@succ{#1}{}#2}
 
 \makeatother