diff options
Diffstat (limited to 'doc/coq-html.sty')
| -rw-r--r-- | doc/coq-html.sty | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/coq-html.sty b/doc/coq-html.sty deleted file mode 100644 index 2793fdc2a..000000000 --- a/doc/coq-html.sty +++ /dev/null @@ -1,6 +0,0 @@ -\def\sf{\purple} -\def\textsf#1{{\sf #1}} -\newcommand{\inference}[1]{$${#1}$$} -\newcommand{\NInd}[3]{\mbox{{\sf Ind}$(#1)(#2:=#3\,)$}} -\newcommand{\Ind}[4]{\mbox{{\sf Ind}$(#1)[#2](#3:=#4\,)$}} -\renewcommand{\medskip}{\\} |