\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 FMMD}  

                                              % 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}