src/HOL/Bali/ROOT.ML

move the Sledgehammer Isar commands together into one file;
this will make easier to add options and reorganize them later

use_thys ["Bali"];