归纳证明的规范变换实现

本文在旭纳证明的规范变换方法的基础上，介绍从一般等式规范到有序类等工规范变换的实现技术，以及在有序类等式规范上的归纳定理的证明技术。