Man Pages in polyml

Section 1: Executable programs or shell commands

poly.1

The poly/ml standard ml implementation

polyimport.1

The poly/ml import program