Diffusion afp-devel fa7371329b67

Backed out changeset 3a67df508397
fa7371329b67
Actions

Tags

None

Subscribers

None

Description

Backed out changeset 3a67df508397
The finite simproc is no longer active by default

Details

Provenance

Authored on

Parents

rAFP3a67df508397: adapted to new simproc finite

Branches

Unknown

Tags

Unknown

Reverts

rAFP3a67df508397: adapted to new simproc finite

Event Timeline

nipkow committed rAFPfa7371329b67: Backed out changeset 3a67df508397.Nov 5 2022, 10:00 AM

nipkow added a reverted change: rAFP3a67df508397: adapted to new simproc finite.

Changes (12)

Path

Size

thys/

Approximation_Algorithms/

Approx_MIS_Hoare.thy

Buildings/

Design_Theory/

Block_Designs.thy

Khovanskii_Theorem/

Matroids/

Network_Security_Policy_Verification/

Lib/

FiniteGraph.thy

Ordinal_Partitions/

Rep_Fin_Groups/

Rep_Fin_Groups.thy

Solidity/

VectorSpace/

VectorSpace.thy

Verified_SAT_Based_AI_Planning/

SAS_Plus_STRIPS.thy

rAFPfa7371329b67

thys/Approximation_Algorithms/Approx_MIS_Hoare.thy

Loading...

thys/Buildings/Simplicial.thy

Loading...

thys/Design_Theory/Block_Designs.thy

Loading...

thys/Khovanskii_Theorem/Khovanskii.thy

Loading...

thys/Matroids/Matroid.thy

Loading...

thys/Network_Security_Policy_Verification/Lib/FiniteGraph.thy

Loading...

thys/Ordinal_Partitions/Partitions.thy

Loading...

thys/Rep_Fin_Groups/Rep_Fin_Groups.thy

Loading...

thys/Solidity/Reentrancy.thy

Loading...

thys/VectorSpace/MonoidSums.thy

Loading...

thys/VectorSpace/VectorSpace.thy

Loading...

thys/Verified_SAT_Based_AI_Planning/SAS_Plus_STRIPS.thy

Loading...