审计中的实质性程序主要包括以下两类：
细节测试
细节测试是对各类交易、账户余额和披露的具体细节进行测试，其目的在于发现认定层次的重大错报。
细节测试的程序包括询问、观察、检查、重新计算、监盘、函证等。
实质性分析程序
实质性分析程序是通过比较分析找出异常，用于发现认定层次的重大错报。
分析程序通常涉及对财务数据和非财务数据的分析，如比率分析、趋势分析等，以评估财务报表中的金额、披露和交易是否存在异常或错报。
综上所述，审计的实质性程序包括细节测试和实质性分析程序，这两类程序共同确保审计的准确性和完整性，帮助注册会计师发现财务报表中可能存在的重大错报。