src/HOL/Predicate_Compile_Examples/ROOT.ML

renamed structure ValueParse to Parse_Value;
eliminated old-style structure alias V;

use_thys ["Predicate_Compile_Examples", "Predicate_Compile_Quickcheck_Examples", "Specialisation_Examples"];