matita/components/binaries/matex/test/basic_1.sty

   1 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
   2 \ProvidesPackage{basic_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/basic_1/"]
   3 \RequirePackage{legacy_1}
   4 \RequirePackage{ground_1}
   5 \ExecuteOptions{}
   6 \ProcessOptions*
   7
   8 \makeatletter
   9
  10 \newcommand*\ld@drop[1]{\setordlink{\Downarrow}{#1}}
  11 \newcommand*\ld@drops[1]{\setordlink{\Downarrow^*}{#1}}
  12 \newcommand*\ld@funlift[1]{\setordlink{\uparrow}{#1}}
  13 \newcommand*\ld@funlifts[1]{\setordlink{\uparrow^*}{#1}}
  14
  15 \newcommand*\ld@tuple@a[2]{\ld@oa{#1}#2\ld@ca{#1}}
  16
  17 \newcommand*\ConsA[3]{#2\ld@cons{#1}#3}
  18 \newcommand*\Drop[5]{\ld@drop{#1}\ld@tuple@b{#1}{#2}{#3}\ma@thop{}#4\ld@eq{#1}#5}
  19 \newcommand*\DropS[4]{\ld@drops{#1}\ld@tuple@a{#1}{#2}\ma@thop{}#3\ld@eq{#1}#4}
  20 \newcommand*\FunLift[4]{\ld@funlift{#1}\ld@tuple@b{#1}{#2}{#3}\ma@thop{}#4}
  21 \newcommand*\FunLiftS[3]{\ld@funlifts{#1}\ld@tuple@a{#1}{#2}\ma@thop{}#3}
  22 \newcommand*\RevConsA[3]{#2\ld@revcons{#1}#3}
  23
  24 \makeatother
  25
  26 \endinput