Add .gitignore files to make git status cleaner.
Make genstrings tool work under Poly/ML.
Fix pre-2002 Basis error in Version.sml
Resurrect holdoc from an old HOL commit.
Get HOLDoc.sml to build in light of changes to HOL/src/parse
Rather than copy HOLDoc.{sig,sml}, get them with `INCLUDES =' directive
git-ignore .imn files generated by HOLDoc.
Get TCP1_utils theory to build.
Delete (probably) unnecessary integer_word32 theory
Fix bug in post-processing of Defines caused by regression in HOL.

See github issue at HOL-Theorem-Prover/HOL#186
Get baseTypes theory to build.
Get netTypes theory to build.
Get timers theory to build.
Get TCP1_params theory to build
Get preHostTypes theory to build
Get TCP1_hostTypes to build.
Get auxFns theory to build
Get hostLTS theory to build.
Give Evaluator.sml proper structure ... = ... struct-end bracketing.
Got NetEval theory to build