The ML Manual (postscript) for the version of ML used by Nuprl4 was gotten by modifying a pre-existing manual for an ML that was modified for use in Nuprl4. See the section on the History of ML for explanation. The citations have been misplaced and have not been restored yet.