- matex: we separate axioms (propositions) and assumptions (other)

[helm.git] / matita / components / binaries / matex / test / legacy_1.sty

diff --git a/matita/components/binaries/matex/test/legacy_1.sty b/matita/components/binaries/matex/test/legacy_1.sty
index f7dd9382b603ac252500165b99eb41910008c8ac..b240c44b170d4eb155742e459da9ae5432dee5f9 100644 (file)
--- 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