Reshaped structure of ocaml/ libraries.

[helm.git] / helm / ocaml / cic_notation / doc / manfnt.sty

diff --git a/helm/ocaml/cic_notation/doc/manfnt.sty b/helm/ocaml/cic_notation/doc/manfnt.sty
deleted file mode 100644 (file)
index c332cc6..0000000
--- a/helm/ocaml/cic_notation/doc/manfnt.sty
+++ /dev/null
@@ -1,74 +0,0 @@
-%%
-%% This is file `manfnt.sty',
-%% generated with the docstrip utility.
-%%
-%% The original source files were:
-%%
-%% manfnt.dtx 
-%% 
-%% Copyright (C) 1998 - 99 by Axel Kielhorn, all rights reserved
-%% Copyright (C) 1999 by Denis Kosygin, all rights reserved.
-%% For additional copyright information see further down in this file.
-%% 
-%% This file is to be used with the LaTeX2e system.
-%% ------------------------------------------------
-%% 
-%% This program can be redistributed and/or modified under the terms
-%% of the LaTeX Project Public License Distributed from CTAN
-%% archives in directory macros/latex/base/lppl.txt; either
-%% version 1 of the License, or any later version.
-%% 
-%% Copyright (C) 1998 - 99 by Axel Kielhorn, all rights reserved
-%% Copyright (C) 1999 by Denis Kosygin, all rights reserved.
-%%
-%% This program can be redistributed and/or modified under the terms
-%% of the LaTeX Project Public License Distributed from CTAN
-%% archives in directory macros/latex/base/lppl.txt; either
-%% version 1 of the License, or any later version.
-\def\fileversion{0.2}
-\def\filedate{1999/07/01}
-\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{manfnt}[\filedate \fileversion LaTeX2e manfnt package]
-\DeclareFontFamily{U}{manual}{}
-\DeclareFontShape{U}{manual}{m}{n}{ <->  manfnt }{}
-\newcommand{\manfntsymbol}[1]{%
-    {\fontencoding{U}\fontfamily{manual}\selectfont\symbol{#1}}}
-\newcommand{\manhpennib}{\manfntsymbol{21}}
-\newcommand{\mantiltpennib}{\manfntsymbol{22}}
-\newcommand{\manvpennib}{\manfntsymbol{23}}
-\newcommand{\mankidney}{\manfntsymbol{17}}
-\newcommand{\manboldkidney}{\manfntsymbol{18}}
-\newcommand{\manpenkidney}{\manfntsymbol{19}}
-\newcommand{\manlhpenkidney}{\manfntsymbol{20}}
-\newcommand{\manquartercircle}{\manfntsymbol{32}}
-\newcommand{\manfilledquartercircle}{\manfntsymbol{33}}
-\newcommand{\manrotatedquartercircle}{\manfntsymbol{34}}
-\newcommand{\mancone}{\manfntsymbol{35}}
-\newcommand{\manconcentriccircles}{\manfntsymbol{36}}
-\newcommand{\manconcentricdiamond}{\manfntsymbol{37}}
-\newcommand{\mantriangleright}{\manfntsymbol{120}}% Triangle for exercises
-\newcommand{\mantriangleup}{% Upper triangle for Addison-Wesley logo
-  \manfntsymbol{54}}
-\newcommand{\mantriangledown}{% Lower triangle for Addison-Wesley logo
-  \manfntsymbol{55}}
-\newcommand{\mancube}{\manfntsymbol{28}}
-\newcommand{\manimpossiblecube}{\manfntsymbol{29}}
-\newcommand{\manquadrifolium}{\manfntsymbol{38}}% \fouru
-\newcommand{\manrotatedquadrifolium}{\manfntsymbol{39}}% \fourc
-\newcommand{\manstar}{\manfntsymbol{30}}% Bicentennial star
-\newcommand{\manerrarrow}{\manfntsymbol{121}}% Arrow for errata lists
-\newcommand{\dbend}{\manfntsymbol{127}}% Z-shaped
-\newcommand{\lhdbend}{\manfntsymbol{126}}% Lefthanded (S-shaped)
-\newcommand{\reversedvideodbend}{\manfntsymbol{0}}% Reversed video
-\newcommand{\textdbend}{\text@dbend{\dbend}}
-\newcommand{\textlhdbend}{\text@dbend{\lhdbend}}
-\newcommand{\textreversedvideodbend}{\text@dbend{\reversedvideodbend}}
-\newlength{\dbend@height}
-\newcommand{\text@dbend}[1]{%
-  \settoheight{\dbend@height}{#1}%
-  \divide\dbend@height by 15%
-  \multiply\dbend@height by 22%
-  \raisebox{\dbend@height}{#1}}
-\endinput
-%%
-%% End of file `manfnt.sty'.