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.
