summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/logic
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-10-03 23:11:35 +0000
committerKarl Berry <karl@freefriends.org>2008-10-03 23:11:35 +0000
commit15da3ecbe72e81cfbf2201f260a8f69dd84bde83 (patch)
treec712d16e5f998d9d95286b66750bc442a34380a9 /Master/texmf-dist/tex/latex/logic
parent425881b562f2bbf12c3d8fd24db155db11aabad1 (diff)
update logic, without gene-logic files (cfrees 3 Oct 2008 00:10:49)
git-svn-id: svn://tug.org/texlive/trunk@10848 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/logic')
-rw-r--r--Master/texmf-dist/tex/latex/logic/gn-logic14.sty119
1 files changed, 0 insertions, 119 deletions
diff --git a/Master/texmf-dist/tex/latex/logic/gn-logic14.sty b/Master/texmf-dist/tex/latex/logic/gn-logic14.sty
deleted file mode 100644
index ae023304c55..00000000000
--- a/Master/texmf-dist/tex/latex/logic/gn-logic14.sty
+++ /dev/null
@@ -1,119 +0,0 @@
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\typeout{%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%
- Logic Formula Environments and Macros. Version 1.4 gene 5/95
-%
-% Purpose:
-% Style option for LaTeX2e and LaTeX 2.09 to typeset formulas.
-%
-% Documentation: see seperate LaTeX document `gn-logic14.tex'
-%
-% Author: Gerd Neugebauer
-% \"Odenburger Str. 16
-% 64295 Darmstadt (Germany)
-% Mail: gerd@imn.th-leipzig.de
-%
-% Copyright (C) 1995 Gerd Neugebauer
-%
-% gn-logic.sty is distributed in the hope that it will be useful,
-% but WITHOUT ANY WARRANTY. No author or distributor
-% accepts responsibility to anyone for the consequences of using it
-% or for whether it serves any particular purpose or works at all,
-% unless he says so in writing.
-%
-% Everyone is granted permission to copy, modify and redistribute
-% gn-logic.sty, provided this copyright notice is preserved and any
-% modifications are indicated.
-%
-%
-% This style is still under development and may be replaced with a new
-% version which provides an enhanced functionality.
-% Any comments are welcome but don't expect ANY help from my side.
-%
-}
-
-%%%----------------------------------------------------------------------------
-%%% Several useful abbrevations
-%%%
-\def\AND { \,\wedge\, }
-\def\OR { \,\vee\, }
-\def\XOR { \,\stackrel{.}{\vee}\, }
-\def\IMPLIES { \,\rightarrow\, }
-\def\IMPL { \,\rightarrow\, }
-\def\IF { \,\leftarrow\, }
-\def\IFF { \,\leftrightarrow\, }
-\def\IFFdef { \,\stackrel{\rm def}{\longleftrightarrow}\, }
-
-\def\ANDdots { \,\wedge\!\ldots\!\wedge\, }
-\def\ORdots { \,\vee\!\ldots\!\vee\, }
-
-\def\is { \!\setminus\! }
-\def\Forall#1{ \forall #1\ }
-\def\Exists#1{ \exists #1\ }
-
-\def\bbOne{\ifmmode\mathrm{1\!l}\else\mbox{\(\mathrm{1\!l}\)}\fi}
-\def\bbB{\ifmmode\mathrm{I\!B}\else\mbox{\(\mathrm{I\!B}\)}\fi}
-\def\bbD{\ifmmode\mathrm{I\!D}\else\mbox{\(\mathrm{I\!D}\)}\fi}
-\def\bbE{\ifmmode\mathrm{I\!E}\else\mbox{\(\mathrm{I\!E}\)}\fi}
-\def\bbF{\ifmmode\mathrm{I\!F}\else\mbox{\(\mathrm{I\!F}\)}\fi}
-\def\bbH{\ifmmode\mathrm{I\!H}\else\mbox{\(\mathrm{I\!H}\)}\fi}
-\def\bbI{\ifmmode\mathrm{I\!I}\else\mbox{\(\mathrm{I\!I}\)}\fi}
-\def\bbJ{\ifmmode\mathrm{J\!\!J}\else\mbox{\(\mathrm{J\!\!J}\)}\fi}
-\def\bbK{\ifmmode\mathrm{I\!K}\else\mbox{\(\mathrm{I\!K}\)}\fi}
-\def\bbL{\ifmmode\mathrm{I\!L}\else\mbox{\(\mathrm{I\!L}\)}\fi}
-\def\bbN{\ifmmode\mathrm{I\!N}\else\mbox{\(\mathrm{I\!N}\)}\fi}
-\def\bbM{\ifmmode\mathrm{I\!M}\else\mbox{\(\mathrm{I\!M}\)}\fi}
-\def\bbP{\ifmmode\mathrm{I\!P}\else\mbox{\(\mathrm{I\!P}\)}\fi}
-\def\bbR{\ifmmode\mathrm{I\!R}\else\mbox{\(\mathrm{I\!R}\)}\fi}
-\def\bbZ{\ifmmode\mathsf{Z\;\!\!\!\!Z}\else\mbox{\(\mathsf{Z\;\!\!\!\!Z}\)}\fi}
-\let\N=\Nat
-\let\Nat=\bbN
-\let\Real=\bbR
-\let\Int=\bbZ
-%\def\Int{\mbox{\sf Z\hspace{-0.45em}Z}}
-\def\bbC{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}C}}
-\def\bbG{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}G}}
-\def\bbO{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}O}}
-\def\bbQ{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}Q}}
-\let\Complex=\bbC
-\let\Rat=\bbQ
-%%%----------------------------------------------------------------------------
-%%% The formula environment
-%%%
-
-\newlength\FormulaIndent \FormulaIndent=3em
-
-\def\Formula{\@ifnextchar[{\@Formula}{\@Formula[]}}
-
-\def\@FormLabel[#1]{\end{array}\\\label{#1}&&\begin{array}{l} }
-
-\def\@Formula[#1]{\begingroup\setlength{\arraycolsep}{0pt}%
- \def\Form{\@ifnextchar[{\@FormLabel}{\end{array}\\&&\begin{array}{l} }}%
- \def\={\\\hspace*{\FormulaIndent}}%
- \def\>##1{\\\hspace*{\FormulaIndent}\hspace*{##1\FormulaIndent}}%
- \penalty-500\eqnarray\ifx\@empty#1\else\label{#1}\fi&&\begin{array}{l} }
-
-\def\endFormula{\end{array}\endeqnarray\endgroup}
-
-
-%%%----------------------------------------------------------------------------
-%%% The NewTheorem environment
-%%%
-
-\def\TheoremTitle#1{{\small #1}}
-\def\TheoremName#1{{\small\bf (#1)}}
-
-\def\NewTheorem#1{
- \expandafter\gdef\csname #1\endcsname{\csname THM#1\endcsname\@@theorem}
- \expandafter\gdef\csname end#1\endcsname{\csname endTHM#1\endcsname}
- \@ifnextchar[{\New@Theorem#1}{\expandafter\newtheorem{THM#1}}}
-
-\def\New@Theorem#1[{\expandafter\newtheorem{THM#1}[THM}
-
-\def\@@theorem{%
-\@ifnextchar[{\@@theorem@title}{\@ifnextchar({\@@theorem@label}{\@ifnextchar<{\@@theorem@name}{\ \nobreak\\\nobreak}}}}
-
-\def\@@theorem@label(#1){\label{#1}\@@theorem}
-\def\@@theorem@title[#1]{\ \TheoremTitle{#1}\@@theorem}
-\def\@@theorem@name<#1>{\ \TheoremName{#1}\@@theorem}
-