X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Fground_1.sty;h=58f2592de36ae83d8b1fffd5d94ba0316f090393;hb=c992745a40b4ac8b6c5285bf9c5eff26c423f236;hp=582e49cefb234f0993af71867b045a8c270f19ed;hpb=e9caa75be87bdbd68d8ca2d7291f623bec6b93aa;p=helm.git

diff --git a/matita/components/binaries/matex/test/ground_1.sty b/matita/components/binaries/matex/test/ground_1.sty
index 582e49cef..58f2592de 100644
--- a/matita/components/binaries/matex/test/ground_1.sty
+++ b/matita/components/binaries/matex/test/ground_1.sty
@@ -1,10 +1,26 @@
 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
-\ProvidesPackage{ground_1}[2016/05/23 Notation for "cic:/matita/lambdadelta/ground_1/"]
+\ProvidesPackage{ground_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/ground_1/"]
+\RequirePackage{matex}
 \ExecuteOptions{}
 \ProcessOptions*
 
 \makeatletter
 
+\newcommand*\ld@cm[1]{\setpunctlink{,}{#1}}
+\newcommand*\ld@oa[1]{\setopenlink{\langle}{#1}}
+\newcommand*\ld@ca[1]{\setcloselink{\rangle}{#1}}
+
+\newcommand*\ld@append[1]{\setbinlink{@}{#1}}
+\newcommand*\ld@cons[1]{\setbinlink{\copyright}{#1}}
+\newcommand*\ld@funlt[1]{\setbinlink{\olessthan}{#1}}
+
+\newcommand*\ld@tupleB[3]{\ld@oa{#1}#2\ld@cm{#1}#3\ld@ca{#1}}
+
+\newcommand*\Append[3]{#2\ld@append{#1}#3}
+\newcommand*\ConsB[4]{\ld@tupleB{#1}{#2}{#3}\ld@cons{#1}#4}
+\newcommand*\FunLt[3]{#2\ld@funlt{#1}#3}
+\newcommand*\RevConsB[4]{#2\ld@cons{#1}\ld@tupleB{#1}{#3}{#4}}
+
 \makeatother
 
 \endinput