Script with the Grew-Match formalisation of Greenberg Universals

The file contains all the formalisations that have been proposed in order to be able to carry out the checks of the doctoral thesis. The file is a script ordered by universal...本文件收录了为完成该博士论文的各项校验工作而提出的全部形式化（formalisation）方案。该文件为按通用（universal）规范编排的脚本。