Fix src/quotient/src/ for tightequality

Remove -- as an alias for Term parser.

As per comment in release notes this has long been replaced as
appropriate style.

trailing newlines in *.{sml,sig} files from src/ removed

Trailing newlines from SML files in src/ were rendered in HTML documentation.

Removed trailing whitespace from all .sml and .sig files.

This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!

----------------------------------------------------------------------
Enter Log. Lines beginning with `CVS:' are removed automatically

Committing in a new version of the main documentation for the
higher order quotient library. Added a section describing the
support for lifting theorems about sets. Also made minor revisions
to the script building the respectfulness and preservation theorems
for set operators.

Modified Files:
Manual/quotient.tex src/quotient.sml
src/quotient_pred_setScript.sml
----------------------------------------------------------------------

----------------------------------------------------------------------

Committing in new version of pred_set quotient theorems.
Added theorems dealing with FINITER, making it easier to prove
regular theorems for lifting that involve FINITER.

Modified Files:
quotient_pred_setScript.sml
----------------------------------------------------------------------

----------------------------------------------------------------------

Committing in modifications to the quotient library, to better support
lifting of theorems with mention of set operators, including INSERT,
SUBSET, FINITE, which may be applied to sets of types being lifted.
The previous version was very untested.
This is still experimental, but a great improvement.

Modified Files:
src/quotient.sml src/quotientScript.sml
src/quotient_pred_setScript.sml
----------------------------------------------------------------------

----------------------------------------------------------------------

Committing in a revised version of the quotients package, and an example.

The quotient theorems are broken into theories based on the type operator
they refer to, with general non-specific theorems remaining in
quotientScript.sml.

The example of creating finite sets from lists by a quotient is presented
in the new "examples" directory, in finite_setScript.sml. It is perhaps
surprisingly simple to walk through.

Modified Files:
hol98/src/quotient/src/quotient.sml
hol98/src/quotient/src/quotientLib.sml
hol98/src/quotient/src/quotientScript.sml
hol98/src/quotient/src/quotient_listScript.sml
hol98/src/quotient/src/quotient_optionScript.sml
hol98/src/quotient/src/quotient_pairScript.sml
hol98/src/quotient/src/quotient_sumScript.sml
Added Files:
hol98/src/quotient/examples/finite_setScript.sml
hol98/src/quotient/examples/ind_rel.sig
hol98/src/quotient/examples/ind_rel.sml
hol98/src/quotient/src/quotient_pred_setScript.sml
----------------------------------------------------------------------