HomeIsabelle/Phabricator
Diffusion Isabelle fe8d0f4da0e6

remove SpecCheck; it is now part of the AFP
fe8d0f4da0e6
Actions

Description

remove SpecCheck; it is now part of the AFP

Details

Provenance
kappelmannAuthored on
Parents
rISABELLEd593d18a7a92: merged
Branches
Unknown
Tags
Unknown
Reverted By
rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6

Changes (14)

PathSize

rISABELLEfe8d0f4da0e6

View Options

src/Tools/ROOT

Loading...
View Options

src/Tools/Spec_Check/Examples.thy

Loading...
View Options

src/Tools/Spec_Check/README

Loading...
View Options

src/Tools/Spec_Check/Spec_Check.thy

Loading...
View Options

src/Tools/Spec_Check/base_generator.ML

Loading...
View Options

src/Tools/Spec_Check/gen_construction.ML

Loading...
View Options

src/Tools/Spec_Check/generator.ML

Loading...
View Options

src/Tools/Spec_Check/output_style.ML

Loading...
View Options

src/Tools/Spec_Check/property.ML

Loading...
View Options

src/Tools/Spec_Check/random.ML

Loading...
View Options

src/Tools/Spec_Check/spec_check.ML

Loading...