Theory SpecCheck

✐‹creator "Kevin Kappelmann"›
section ‹SpecCheck›
theory SpecCheck
imports
  SpecCheck_Generators
  SpecCheck_Show
  SpecCheck_Shrink
  SpecCheck_Output_Style
begin

paragraph ‹Summary›
text ‹The SpecCheck (specification based) testing environment and Lecker testing framework.›

ML_file ‹lecker.ML›
ML_file ‹speccheck.ML›

end