simplified context and data management -- plain ctxt: Proof.context is default for most operations;
theory Spec_Check
imports Main
begin
ML_file "random.ML"
ML_file "property.ML"
ML_file "base_generator.ML"
ML_file "generator.ML"
ML_file "gen_construction.ML"
ML_file "spec_check.ML"
ML_file "output_style.ML"
setup Output_Style.setup
end