New 'enumerated finite set library' by Lockwood Morris.  (As delivered.)
Corrections to get enum_fset/enumeralTheory to build.
Remove unnecessary dependency of enumfset/enumeralTheory on int.

This dependency is still present via totoTheory, because that theory
defines an order for the integers. But I think I might move that
definition out into a separate theory so that the core material
doesn't need to inherit the integers.
Remove misleading comment from DISCH_ALL documentation

There will never be two or more alpha-convertible hypotheses. Pointed
out by Rob Arthan.
Add fromBinString, fromDecString and fromHexString to ASCIInumbers.
Merge branch 'k9-release-prep'
Interactive prelude now displays "how to quit" advice as it starts.
Make the Unicode trace variable 0 by default on Windows.
Fix for printing of SSAT and SSAT16 instructions.

The immediate values “#32” and “#16” were printing as “#0”.
Fix in the printing of BFC and BFI instructions.

Similar to the previous commit.
Notes for Lockwood Morris's enumerated finite sets/maps library.
Latest updates to enumfset code (from Lockwood Morris).

Builds on master.
Modify Description to use holtexbasic and underscore packages.

This seems to require reference/label names to not include
underscores, so a bunch of changes were made in that vein.  Using
holtexbasic is a prerequisite for eventually converting to using
EmitTeX technology.
Include preliminary documentation for enumfset library.
Move help-system code into interactive system only (Poly).
Move some results from enumfset earlier into relationTheory.
trivial reformat to keep code within 80 columns.
Extend totoTacs signature to reveal num_pre_CONV and numOrd_CONV
Fix for M0 tools with regard to POP (with pc) and PUSH (with lr) instructions.

The fix ensures that SEP_ARRAY introduction works for these instructions.
Minor update to ARMv7-AR model.