Theory SpecCheck_Output_Style

✐‹creator "Kevin Kappelmann"›
section ‹Output Styles›
theory SpecCheck_Output_Style
imports
  SpecCheck_Base
  SpecCheck_Show
begin


paragraph ‹Summary›
text ‹Output styles for SpecCheck take the result of a test run and process it accordingly,
e.g. by printing it or storing it to a file.›


ML_file ‹output_style_types.ML›
ML_file ‹output_style_perl.ML›
ML_file ‹output_style_custom.ML›
ML_file ‹output_style.ML›

end