\documentclass[11pt,a4paper]{article}

\usepackage{german}

\usepackage{isolatin1}

\usepackage{amssymb}

\usepackage{epsfig}

\usepackage{moreverb}

\setlength{\textwidth}{16cm}

\setlength{\topmargin}{-1cm}

\setlength{\evensidemargin}{0cm}

\setlength{\oddsidemargin}{0cm}

\setlength{\textheight}{24cm}

% skip between paragraphs

\setlength{\parskip}{1ex}

% ... and no indentation at start of a new paragraph

\setlength{\parindent}{0ex}

\pagestyle{plain}

\thispagestyle{plain}

\begin{document}

\part*{Test}

\section*{ABLP}

\begin{verbatim}

sorts Principal

op 1 : Principal

op P : Principal

op Q : Principal

op __&__ : Principal * Principal -> Principal

op __|__ : Principal * Principal -> Principal

pred __==>__ : Principal * Principal

pred p : ()

pred q : ()

term modality Principal

. forall x:Principal; y:Principal; z:Principal

. x & (y & z) = (x & y) & z %(ga_assoc___&__)%

. forall x:Principal; y:Principal

. x & y = y & x %(ga_comm___&__)%

. forall x:Principal . x & x = x %(ga_idem___&__)%

. forall x:Principal; y:Principal; z:Principal

. x | (y | z) = (x | y) | z %(ga_assoc___|__)%

. forall x:Principal . x | 1 = x %(ga_right_unit___|__)%

. forall x:Principal . 1 | x = x %(ga_left_unit___|__)%

. forall A, B, C:Principal . (A | B) & C = (A & C) | (B & C)

. [P]( . p => [Q] . q)

. < P > ( . p => < Q > . q)

. [P | Q]( . p <=> [Q | P] . p)

\end{verbatim}

\section*{Dynamic}

\begin{verbatim}

logic Modal

Analyzing spec Dynamic

*** Error CASL-lib/Modal/Dynamic.het:17.16, unexpected mixfix token: p

Fail: user error (Stopped due to errors)

\end{verbatim}

\end{document}