演绎法的论证

演绎法的求证，包括179个文件共计12万8千行，其中75%为pascal语言15%为汇编，剩下的是其他语言，这次释放的版本代码不包括MAC应用库