Base on HOL-Number_Theory session
Texify theory files