src/HOL/ROOT.ML

added make target 'smlnj' to refer to what can/should be tested using smlnj -- allows the use of "isabelle makeall smlnj";
adapted test configuration SML_makeall

(* Classical Higher-order Logic *)

use_thys ["Complex_Main"];