Remove TABs from src

Will also make selftest to check that they aren't introduced

Remove eqtype declaration for term type

Remove -- as an alias for Term parser.

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

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!

Renamed CONJUNCTS_CONV to CONJUNCTS_AC (for associative, commutative) since it's not a conversion.

Removed CONJ_SET_CONV and FRONT_CONJ_CONV. Both were apparently not used
anywhere in the repository.

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

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
----------------------------------------------------------------------