Theory SpecCheck_Base

✐‹creator "Kevin Kappelmann"›
section ‹SpecCheck Base›
theory SpecCheck_Base
imports Pure
begin

paragraph ‹Summary›
text ‹Basic setup for SpecCheck.›

ML_file ‹util.ML›

ML_file ‹speccheck_base.ML›
ML_file ‹property.ML›
ML_file ‹configuration.ML›

ML_file ‹random.ML›

end