% --------------------------------------------------------------------- %
% DIRECTORY: PNF							%
%									%
% DESCRIPTION: Conversions to reduce terms to prenex normal form.	%
%									%
% AUTHOR: Clive Jervis							%
%									%
% ADDRESS: SD-Scicon (?)						%
%									%
% DATE: 90.04.11							%
% --------------------------------------------------------------------- %
