\NeedsTeXFormat{LaTeX2e}[1995/12/01]
-\ProvidesPackage{ground_1}[2016/05/23 Notation for "cic:/matita/lambdadelta/ground_1/"]
+\ProvidesPackage{ground_1}[2016/06/21 Notation for "cic:/matita/lambdadelta/ground_1/"]
+\RequirePackage{matex}
\ExecuteOptions{}
\ProcessOptions*
\makeatletter
+\newcommand*\ld@cm[1]{\mathpunct{,}}
+\newcommand*\ld@oa[1]{\mathopen{\langle}}
+\newcommand*\ld@ca[1]{\mathclose{\rangle}}
+
+\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}
+
\makeatother
\endinput