Update to make things use \documentclass, and not depend on our own copy
of alltt. Plus general Makefile cleanups.

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

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

Change to structure of numLib so that reduce and arith are incorporated.