HELP SML                                    Robert Duncan, November 1994


The Standard ML subsystem within Poplog is known as PML or Poplog/ML.
See HELP * PML.


    C.all/help/sml
    Copyright University of Sussex 1994. All rights reserved.