Library 

structure GeneralExt
structure ListExt
structure PP

is

../sml-ext/sources.cm