% <pre>
% Hypermanual on Logics of Actions and Change (HYMALAC)
% Subdivision [latex-c=macros], main page, 8.8.1995
%-------------------------------------------------------

% Recommended Latex macros for the hypermanual.
% The page parameters have been chosen so that the text
% displays well in A5 size in Ghostview
% For A4 size display, use the command \useAfour
%-------------------------------------------------------
% General:

\newcommand{\emp}[1]{{\em #1}}



%-------------------------------------------------------
% Head of report.

\pagestyle{myheadings}

\textwidth 125mm
\topmargin 62mm
\textheight 190mm
\oddsidemargin -10mm

% \newcommand{\useAfour}{
%  \textwidth 140mm
%  \topmargin 40mm
%  \textheight 200mm
%  \oddsidemargin 30mm 
%  \renewcommand{\tophead}[2]{
%   \noindent
%   \begin{picture}(1250,0)(0,-125)
%     \put(0,60){{\it Hypermanual on Logics of Actions and Change}~
%               {\sf (HYMALAC)}}
%     \put(0,0){{\rm Division} {\bf #1}, #2}
%     \put(-2,-20){\line(1,0){1410}}
%   \end{picture}
%   \markright{{\sf HYMALAC}, {\rm division} {\bf #1}, {\rm #2}}
%    }}

\setlength{\unitlength}{0.1mm}

\newcommand{\tophead}[2]{
  \noindent
  \begin{picture}(1100,0)(0,-125)
    \put(0,60){{\it Hypermanual on Logics of Actions and Change}~
              {\sf (HYMALAC)}}
    \put(0,0){{\rm Division} {\bf #1}, #2}
    \put(-2,-20){\line(1,0){1260}}
  \end{picture}
  \markright{{\sf HYMALAC}, {\rm division} {\bf #1}, {\rm #2}}
   }

\newcommand{\topheadold}[2]{
  \noindent
  \begin{picture}(1250,0)(0,-125)
    \put(0,0){{\em Hypermanual on Logics of Actions and Change},
          division {\bf #1}, #2}
    \put(1200,0){1}
    \put(0,-20){\line(1,0){1950}}
  \end{picture}
  \markright{{\it Hypermanual on Logics of Actions and Change},
          {\rm division}{\bf #1}, {\rm #2}}
   }






%-------------------------------------------------------
% Formulae for actions and change:

\newcommand{\formula}[1]{ \\ \hspace*{10mm}$ #1 $}

\newcommand{\It}[1]{\mbox{{\it #1}}}
\newcommand{\Rm}[1]{\mbox{{\rm #1}}}
\newcommand{\Bf}[1]{\mbox{{\bf #1}}}
\newcommand{\Sf}[1]{\mbox{{\sf #1}}}
\newcommand{\Tt}[1]{\mbox{{\tt #1}}}

\newcommand{\V}[1]{\It{#1}}   % Variable
\newcommand{\C}[1]{\Bf{#1}}   % Constant
\newcommand{\F}[1]{\It{#1}}   % Feature
\newcommand{\A}[1]{\Sf{#1}}   % Action
\newcommand{\I}[1]{\Tt{#1}}   % Item
\newcommand{\R}[1]{\Sf{#1}}   % Object

\newcommand{\ivl}[1]{ \lbivl #1 \rbivl }
\newcommand{\lbivl}{\Tt{[}}
\newcommand{\rbivl}{\Tt{]}}

\newcommand{\Ho}{\Rm{H}}
\newcommand{\Do}{\Rm{D}}
\newcommand{\X}{\Rm{X}}
\newcommand{\T}{\Rm{T}}

\newcommand{\vT}{\Tt{T}}
\newcommand{\vF}{\Tt{F}}

\newcommand{\Land}{\wedge}
\newcommand{\Lor}{\vee}
\newcommand{\Limp}{\rightarrow}
\newcommand{\Lnot}{\neg}
\newcommand{\Lall}{\forall}
\newcommand{\Lex}{\exists}
\newcommand{\Lawimp}{\Rrightarrow}

\newcommand{\lz}{\langle}
\newcommand{\rz}{\rangle}
\newcommand{\Seq}[1]{\lz #1 \rz}

\newcommand{\ldbraq}{[ \! [}
\newcommand{\rdbraq}{] \! ]}
\newcommand{\Cmod}[1]{\ldbraq #1 \rdbraq}

\newcommand{\Imod}[1]{\Sf{Mod}(#1)}
\newcommand{\Min}[1]{\Sf{Min}(#1)}

% </pre>