expand_doc_bib_z30 - Expand HOL number
Overview
How to expand z30-hol-doc-number-x ?
First Step
In xxx01/tab/expand_doc_bib_z30, use z30-hol-doc-number instead of z30-hol-doc-number-x
How to expand z30-hol-doc-number-x ?
In xxx01/tab/expand_doc_bib_z30, use z30-hol-doc-number instead of z30-hol-doc-number-x