Imported documentation comments for itab.fs and simp.fs from the hol-light Reference Manual.
Imported documentation comments for theorems.fs from the hol-light Reference Manual.
Imported more documentation comments from the hol-light Reference Manual.
Finished importing documentation comments from the hol-light Reference Manual.
Remove unneeded comment.
I am using a program to to search for |> in parse_term strings and this is returning a false result.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>
Merge branch master