Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
-- preamble6.lua: the preamble-ish TeX definitions for the .dnt file.
-- This file:
-- http://angg.twu.net/dednat5/preamble6.lua
-- http://angg.twu.net/dednat5/preamble6.lua.html
--  (find-angg        "dednat5/preamble6.lua")
--
-- See: (find-dn5 "preamble.lua")

preamble0 = [==[
\usepackage{proof}   % For derivation trees ("%:" lines)
\input diagxy        % For 2D diagrams ("%D" lines)
\xyoption{curve}     % For the ".curve=" feature in 2D diagrams
]==]

preamble1 = [==[
\def\defded#1#2{\expandafter\def\csname ded-#1\endcsname{#2}}
\def\ifdedundefined#1{\expandafter\ifx\csname ded-#1\endcsname\relax}
\def\ded#1{\ifdedundefined{#1}
    \errmessage{UNDEFINED DEDUCTION: #1}
  \else
    \csname ded-#1\endcsname
  \fi
}
\def\defdiag#1#2{\expandafter\def\csname diag-#1\endcsname{\bfig#2\efig}}
\def\defdiagprep#1#2#3{\expandafter\def\csname diag-#1\endcsname{{#2\bfig#3\efig}}}
\def\ifdiagundefined#1{\expandafter\ifx\csname diag-#1\endcsname\relax}
\def\diag#1{\ifdiagundefined{#1}
    \errmessage{UNDEFINED DIAGRAM: #1}
  \else
    \csname diag-#1\endcsname
  \fi
}
% End of the preamble.

]==]



--[[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "preamble6.lua"

--]]


-- Local Variables:
-- coding: raw-text-unix
-- End: