src/HOL/MicroJava/ROOT.ML

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

no_document use_thys ["While_Combinator"];

use_thys ["MicroJava"];