HomeIsabelle/Phabricator
Diffusion afp-devel 61e152c118d4

CTR and ETTS: integration with SpecCheck: minor amendments
61e152c118d4
Actions

Description

CTR and ETTS: integration with SpecCheck: minor amendments

Details

Provenance
user9716869 <user9716869@gmail.com>Authored on
Parents
rAFPb3ed7312e4c8: Complex_Bounded_Operators: Replaced use of HOL-Analysis.Infinite_Set_Sum by HOL…
Branches
Unknown
Tags
Unknown

Changes (10)

PathSize
thys/
Conditional_Transfer_Rule/
CTR/
Tests/
IML_UT/
UD/
Tests/
Types_To_Sets_Extension/
ETTS/
Tests/

rAFP61e152c118d4

View Options

thys/Conditional_Transfer_Rule/CTR/Tests/CTR_TEST_PROCESS_CTR_RELATOR.ML

Loading...
View Options

thys/Conditional_Transfer_Rule/CTR/Tests/CTR_TEST_PROCESS_RELATIVIZATION.ML

Loading...
View Options

thys/Conditional_Transfer_Rule/CTR/Tests/CTR_Tests.thy

Loading...
View Options

thys/Conditional_Transfer_Rule/IML_UT/IML_UT.thy

Loading...
View Options

thys/Conditional_Transfer_Rule/UD/Tests/UD_TEST_UNOVERLOAD_DEFINITION.ML

Loading...
View Options

thys/Conditional_Transfer_Rule/UD/Tests/UD_Tests.thy

Loading...
View Options

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_TEST_AMEND_CTXT_DATA.ML

Loading...
View Options

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_TEST_TTS_ALGORITHM.ML

Loading...
View Options

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_TEST_TTS_REGISTER_SBTS.ML

Loading...
View Options

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_Tests.thy

Loading...