Library
  signature INDEX
  structure Index
  structure IndexSkolem
is
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../lambda/sources.cm
  ../table/sources.cm
  ../global/sources.cm
  index.sig	
  index.fun
  index-skolem.fun
  index.sml