Reformatted some uses of the "THEN" pseudo-infix operator to rule out F# parsing issues as the cause of the current bug in LAMBDA_PAIR_THM (pair.fs).
Merge branch 'master' of github.com:jack-pappas/NHol
Added an OPTIMIZE comment for later reference.
Remove optimization flag, for now. This'll help provide better error information whilst we're working out remaining bugs.
Imported documentation comments for bool.fs from the hol-light Reference Manual.