Extra sml procedures for ProofPower

<body><a href="pp-smlxtras-m.html">Extra sml procedures for ProofPower</a> (for noframe browsers) </body>