Remove HOL88-isms from FREEZE_THEN's doc-file.

Prompted by question from Rob Arthan on hol-info mailing list.