43 lines
2.7 KiB
TeX
43 lines
2.7 KiB
TeX
|
|
\documentclass[a4paper,10pt]{article}
|
|
\usepackage{graphicx}
|
|
\usepackage{fancyhdr}
|
|
\usepackage{tikz}
|
|
\usetikzlibrary{shapes,snakes}
|
|
\usepackage{amsfonts,amsmath,amsthm}
|
|
\input{../style}
|
|
\usepackage{ifthen}
|
|
\usepackage{lastpage}
|
|
|
|
\newboolean{paper}
|
|
\setboolean{paper}{true} % boolvar=true or false
|
|
|
|
%\newtheorem{definition}{Definition:}
|
|
|
|
\begin{document}
|
|
\pagestyle{fancy}
|
|
\fancyhf{}
|
|
%\renewcommand{\chaptermark}[1]{\markboth{ \emph{#1}}{}}
|
|
\fancyhead[LO]{}
|
|
\fancyhead[RE]{\leftmark}
|
|
%\fancyfoot[LE,RO]{\thepage}
|
|
\cfoot{Page \thepage\ of \pageref{LastPage}}
|
|
\rfoot{\today}
|
|
\lhead{Propositional Logic Diagram }
|
|
\rhead{FMMD - Failure Mode Modular De-Composition}
|
|
% numbers at outer edges
|
|
\pagenumbering{arabic} % Arabic page numbers hereafter
|
|
\author{R.P.Clark}
|
|
\title{Propositional Logic Diagrams}
|
|
\maketitle
|
|
\input{logic_diagram_paper}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{../mybib,../vmgbibliography}
|
|
|
|
%\begin{verbatim}
|
|
%$Id: paper.tex,v 1.4 2009/11/28 20:05:52 robin Exp $
|
|
%\end{verbatim}
|
|
|
|
\end{document}
|