Extra sml procedures for ProofPower
Overview
Building Proof Contexts