Imported documentation comments for basics.fs from hol-light Reference Manual.
Imported documentation comments for printer.fs and preterm.fs from hol-light Reference Manual.