Diffusion afp-devel 3c6fcf371feb

CTR and ETTS: integration with SpecCheck
3c6fcf371feb
Actions

Tags

None

Subscribers

None

Description

CTR and ETTS: integration with SpecCheck

Details

Provenance

user9716869 <user9716869@gmail.com>

Authored on

Parents

rAFPe5eeaaf2bd5b: used antiquotation to fix LaTeX failure

Branches

Unknown

Tags

Unknown

Event Timeline

user9716869 <user9716869@gmail.com> committed rAFP3c6fcf371feb: CTR and ETTS: integration with SpecCheck.Nov 11 2021, 2:16 AM

Changes (24)

Path

Size

Conditional_Transfer_Rule

CTR/

CTR_Reference.thy

Tests/

CTR_TEST_PROCESS_CTR_RELATOR.ML

CTR_TEST_PROCESS_RELATIVIZATION.ML

UT_Test_Suite.ML

UD/

Tests/

UD_TEST_UNOVERLOAD_DEFINITION.ML

UD_Reference.thy

document/

Types_To_Sets_Extension/

ETTS/

Manual/

ETTS_Introduction.thy

Tests/

ETTS_TEST_AMEND_CTXT_DATA.ML

ETTS_TEST_TTS_ALGORITHM.ML

ETTS_TEST_TTS_REGISTER_SBTS.ML

document/

rAFP3c6fcf371feb

thys/Conditional_Transfer_Rule/CTR/CTR.ML

Loading...

thys/Conditional_Transfer_Rule/CTR/CTR_Reference.thy

Loading...

thys/Conditional_Transfer_Rule/CTR/Tests/CTR_TEST_PROCESS_CTR_RELATOR.ML

Loading...

thys/Conditional_Transfer_Rule/CTR/Tests/CTR_TEST_PROCESS_RELATIVIZATION.ML

Loading...

thys/Conditional_Transfer_Rule/CTR/Tests/CTR_Tests.thy

Loading...

thys/Conditional_Transfer_Rule/IML_UT/IML_UT.thy

Loading...

thys/Conditional_Transfer_Rule/IML_UT/UT_Test_Suite.ML

Loading...

thys/Conditional_Transfer_Rule/ROOT

Loading...

thys/Conditional_Transfer_Rule/UD/Tests/UD_TEST_UNOVERLOAD_DEFINITION.ML

Loading...

thys/Conditional_Transfer_Rule/UD/Tests/UD_Tests.thy

Loading...

thys/Conditional_Transfer_Rule/UD/UD_Reference.thy

Loading...

thys/Conditional_Transfer_Rule/document/root.bib

Loading...

thys/Conditional_Transfer_Rule/document/root.tex

Loading...

thys/Types_To_Sets_Extension/ETTS/Manual/ETTS_Introduction.thy

Loading...

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_TEST_AMEND_CTXT_DATA.ML

Loading...

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_TEST_TTS_ALGORITHM.ML

Loading...

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_TEST_TTS_REGISTER_SBTS.ML

Loading...

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_Tests.thy

Loading...

thys/Types_To_Sets_Extension/ROOT

Loading...

thys/Types_To_Sets_Extension/document/root.bib

Loading...

thys/Types_To_Sets_Extension/document/root.tex

Loading...