Remove some HOL88-isms in old reduceLib doc-files.
Slightly polish doc-file for HolKernel.disch.