\documentstyle[twoside]{article}
\pagestyle{myheadings}
\setlength\textwidth{35pc}
\setlength\textheight{50pc}
\oddsidemargin=0.25in
\evensidemargin=0.25in
\begin{document}
%
\title{THE BILO 4.2.1 DISTRIBUTION FILE}
%
\author{Michael P. Barnett\\
Department of Computer and Information Science\\
Brooklyn College of the City University of New York\\
Brooklyn, NY 11210\\
Internet:barnett@its.brooklyn.cuny.edu
\and
Kevin R. Perry\\
Interactive Computer Graphics Laboratory\\
Computer and Information Technology\\
Princeton University, Princeton, NJ 08540\\
Internet:perry@princeton.edu}
%
\maketitle
%
\section*{1. Introduction}
%
\markboth{\bf THE {\tt bilo} 4.2.1 DISTRIBUTION FILE}{\bf INTRODUCTION}
%
The {\tt bilo} (bracketed identifier/localized operator) library of
{\sc Mathematica}\footnote[1]{Mathematica is a trademark of Wolfram Research
Inc.} procedures:
\begin{enumerate}
\item supports several derivation and proof idioms of
conventional applied mathematics, and
\item controls the structure and arrangement of mechanically
generated formulas, precisely.
\end{enumerate}
The file {\tt bilo.4.2.1.tar} is the distribution file that contains
version 4.2 of the {\tt bilo} ``package'' (in the {\sc Mathematica}
meaning of the word) and version 1 of the associated documentation.
The only difference from version 4.1 is in the shortening of some file
names to meet mathsource conventions.
All non-tar files mentioned in this report are included in the distribution
file. Further portions of the library are being streamlined for
inclusion in later versions of the package and the distribution file.
The current version supports:
\begin{enumerate}
\item implicit rule formation, described in the published paper [1], and
\item hierarchical addressing, described in the published paper [2] and
the report [3].
\end{enumerate}
Offprints of [1] and [2] are available, and {\tt had1.tex} is the
AMS\TeX\ file of [3]. Some further features of {\tt bilo} are described
in [4], which deals primarily with the production of \TeX\ output by
procedures that will be incorporated in later versions of the package.
To see {\tt bilo} usage on-line, load the {\tt autorun}
interpreter in the current distribution by:
%
$$ {\mbox{\tt <