Group is

$/pp-lib.cm
$/basis.cm
(*
$smlnj-tdp/coverage.cm
*)

/home/so294/scratch/HOL/src/theoryML/basicSizeML.sig
/home/so294/scratch/HOL/src/theoryML/basicSizeML.sml
/home/so294/scratch/HOL/src/theoryML/bitML.sig
/home/so294/scratch/HOL/src/theoryML/bitML.sml
/home/so294/scratch/HOL/src/theoryML/combinML.sig
/home/so294/scratch/HOL/src/theoryML/combinML.sml
/home/so294/scratch/HOL/src/theoryML/fcpML.sig
/home/so294/scratch/HOL/src/theoryML/fcpML.sml
/home/so294/scratch/HOL/src/theoryML/listML.sig
/home/so294/scratch/HOL/src/theoryML/listML.sml
/home/so294/scratch/HOL/src/theoryML/numML.sig
/home/so294/scratch/HOL/src/theoryML/numML.sml
/home/so294/scratch/HOL/src/theoryML/optionML.sig
/home/so294/scratch/HOL/src/theoryML/optionML.sml
/home/so294/scratch/HOL/src/theoryML/pairML.sig
/home/so294/scratch/HOL/src/theoryML/pairML.sml
/home/so294/scratch/HOL/src/theoryML/stringML.sig
/home/so294/scratch/HOL/src/theoryML/stringML.sml
/home/so294/scratch/HOL/src/theoryML/sumML.sig
/home/so294/scratch/HOL/src/theoryML/sumML.sml
/home/so294/scratch/HOL/src/theoryML/wordsML.sig
/home/so294/scratch/HOL/src/theoryML/wordsML.sml
