S I S Seki Report Proof Presentation Based on Proof Plans

The paper addresses two problems of comprehensible proof presentation, the hierarchically structured presentation at the level of proof methods and diierent presentation styles of construction proofs that can make use of proof plans generated by an automated proof planner.