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

diff --git a/matita/components/binaries/matex/test/legacy_1.sty b/matita/components/binaries/matex/test/legacy_1.sty
index f7dd9382b..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/21 Notation for "cic:/matita/lambdadelta/legacy_1/"]
+\ProvidesPackage{legacy_1}[2016/07/03 Notation for "cic:/matita/lambdadelta/legacy_1/"]
 \RequirePackage{matex}
 \ExecuteOptions{}
 \ProcessOptions*
@@ -18,9 +18,9 @@
 \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@plus[2]{\setbinlink{+}{#1}{#2}}
 \newcommand*\ld@pred[1]{\setoplink{\midcir}{#1}{}}
-\newcommand*\ld@succ[1]{\setoplink{\cirmid}{#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