2d4f3e2ac9
The layer is now redundant, since everything left in "pkgs" is in the "racket-pkgs" category.
5 lines
80 B
TeX
5 lines
80 B
TeX
|
|
\newcommand{\inferencetop}[1]{#1}
|
|
\newcommand{\inferencebottom}[1]{\hline #1}
|
|
|