1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
|
(* This file is created by makeallcm *)
Library
functor ImprovedChaitinSpillHeur
functor ImprovedChowHennessySpillHeur
functor RASpillWithRenaming
is
#if defined(NEW_CM)
#if SMLNJ_VERSION * 100 + SMLNJ_MINOR_VERSION >= 11030
$/basis.cm
$/smlnj-lib.cm
$/MLRISC.cm
$/Control.cm
$/Lib.cm
#else
basis.cm
smlnj-lib.cm
MLRISC.cm
Control.cm
Lib.cm
#endif
#else
smlnj-lib.cm
MLRISC.cm
Control.cm
Lib.cm
#endif
../ra/chaitin-spillheur2.sml
../ra/chow-hennessy-spillheur2.sml
../ra/ra-spill-with-renaming.sml
|