Remove TABs from src

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

Remove -- as an alias for Term parser.

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

Remove unnecessary structure bracketting

As per 89fc99bc3, but on as many examples as a grep -R can find.

update opentheory namespace for numTheory$0

better match intended semantics of OpenTheory names

rather than using strings, now have a type abbreviation otname for
string list * string. it might be worth writing more operations on this
type (like for manipulating the namespace).

Attempt to tidy-up HOL's output in non-interactive mode - mostly through lining
up definition and theorem names.

Add an OpenTheoryMap analogous to TexTokenMap

Also, add names for various type operators and constants in boolTheory,
listTheory, and numTheory so that the Opentheory selftests now pass without
having to set up those name mappings themselves.

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!

Change to type of new_specification, and made it tell that parser about
the introduced constants. Lots of knock-on (trivial) mods.

Minor changes.

paired syntax.

Changes making directory Kananaskis compatible.

Fixed it not to use MESON_TAC, which can't prove it in the constructive
world.

Updated definition of number representatives to use new_specification
rather than Hilbert choice. Don't need axiom of choice that way.

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