X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Fground_1.sty;h=c641d59efcf9f78109b145bd14a0bdaea3a8e67e;hb=28e8954fbe2e28f01ae918c8d0e0ef34bd84b48f;hp=e1da3f4af9773e348b53aa990da777b4c41d8787;hpb=7d99a19985ae7ca20845d0a875e32f23ba06e536;p=helm.git

diff --git a/matita/components/binaries/matex/test/ground_1.sty b/matita/components/binaries/matex/test/ground_1.sty
index e1da3f4af..c641d59ef 100644
--- a/matita/components/binaries/matex/test/ground_1.sty
+++ b/matita/components/binaries/matex/test/ground_1.sty
@@ -1,8 +1,6 @@
 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
-\ProvidesPackage{ground_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/ground_1/"]
+\ProvidesPackage{ground_1}[2016/06/21 Notation for "cic:/matita/lambdadelta/ground_1/"]
 \RequirePackage{matex}
-\let\bigtimes\undefined
-\RequirePackage{mathabx}
 \ExecuteOptions{}
 \ProcessOptions*
 
@@ -12,17 +10,17 @@
 \newcommand*\ld@oa[1]{\mathopen{\langle}}
 \newcommand*\ld@ca[1]{\mathclose{\rangle}}
 
-\newcommand*\ld@append[1]{\setbinlink{\oplus}{#1}}
-\newcommand*\ld@cons[1]{\setbinlink{\oright}{#1}}
-\newcommand*\ld@funlt[1]{\setbinlink{\olessthan}{#1}}
-\newcommand*\ld@revcons[1]{\setbinlink{\oleft}{#1}}
+\newcommand*\ld@append[1]{\setbinlink{\oplus}{#1}{}}
+\newcommand*\ld@cocons[1]{\setbinlink{\opluslhrim}{#1}{}}
+\newcommand*\ld@cons[1]{\setbinlink{\oplusrhrim}{#1}{}}
+\newcommand*\ld@funlt[1]{\setbinlink{\olessthan}{#1}{}}
 
 \newcommand*\ld@tuple@b[3]{\ld@oa{#1}#2\ld@cm{#1}#3\ld@ca{#1}}
 
 \newcommand*\Append[3]{#2\ld@append{#1}#3}
+\newcommand*\CoConsB[4]{#2\ld@cocons{#1}\ld@tuple@b{#1}{#3}{#4}}
 \newcommand*\ConsB[4]{\ld@tuple@b{#1}{#2}{#3}\ld@cons{#1}#4}
 \newcommand*\FunLt[3]{#2\ld@funlt{#1}#3}
-\newcommand*\RevConsB[4]{#2\ld@revcons{#1}\ld@tuple@b{#1}{#3}{#4}}
 
 \makeatother