Fixed 'make clean' for several LaTeX results.

Wildcard expansion like 'rm -f foo.{ps,pdf}' works only when called from
a shell and not from Makefiles.

Some maintenance to ensure that the sub-manuals and reference manual build
properly (help/src -> help/src-sml). Dropped the references to src/n_bit
and src/word.

The res_quan manual doesn't seem to build on Macs. Some problem with it
failing to make the theories.tex file. (Still works on an old Linux
machine.)

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

Committing in revisions to several libraries so that the documentation
builds, and is then presented at the top level when the exported version
of HOL4 is built (as for the public version we are about to release).

This documentation is obviously very much out of date, and yet it still
is greatly useful for people who wish to use these libraries. While
waiting for fully updated versions, I believe this is far better than
not including these, as much of the content does not appear elsewhere.

Modified Files:
hol98/developers/releasing-hol
hol98/src/num/arith/Manual/Makefile
hol98/src/num/arith/Manual/entries.tex
hol98/src/num/reduce/Manual/Makefile
hol98/src/num/reduce/Manual/index.tex
hol98/src/num/reduce/Manual/reduce.tex
hol98/src/pair/Manual/Makefile
hol98/src/pred_set/Manual/index.tex
hol98/src/res_quan/Manual/Makefile
hol98/src/string/Manual/Makefile
hol98/src/taut/Manual/Makefile
hol98/src/unwind/Manual/Makefile
hol98/src/unwind/Manual/entries.tex
hol98/src/unwind/Manual/index.tex
hol98/src/unwind/Manual/unwind.tex
hol98/src/word/Manual/Makefile hol98/src/word/Manual/index.tex
Added Files:
hol98/src/string/help/defs/ASCII_DEF.doc
hol98/src/string/help/defs/STRING_DEF.doc
hol98/src/string/help/defs/``_DEF.doc
hol98/src/string/help/defs/ascii_ISO_DEF.doc
hol98/src/string/help/defs/ascii_TY_DEF.doc
hol98/src/string/help/defs/string_ISO_DEF.doc
hol98/src/string/help/defs/string_TY_DEF.doc
hol98/src/string/help/thms/ASCII_11.doc
hol98/src/string/help/thms/NOT_EMPTY_STRING.doc
hol98/src/string/help/thms/NOT_STRING_EMPTY.doc
hol98/src/string/help/thms/STRING_11.doc
hol98/src/string/help/thms/ascii_Axiom.doc
hol98/src/string/help/thms/ascii_CASES.doc
hol98/src/string/help/thms/ascii_Induct.doc
hol98/src/string/help/thms/string_Axiom.doc
hol98/src/string/help/thms/string_CASES.doc
hol98/src/string/help/thms/string_Induct.doc
----------------------------------------------------------------------

Initial revision