Up
Module
ProofPrint.Tbl
module
Tbl:
module type of
ProofStep.PTbl