✐‹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