src/HOL/ROOT.ML

put MiniSat back first -- Torlak's eval seemed to suggest that Crypto and Lingeling were better, but Crypto is slower on "Nitpick_Examples" and Crypto crashes

(* Classical Higher-order Logic *)

use_thys ["Complex_Main"];