Diffusion afp-devel 3a67df508397

adapted to new simproc finite
3a67df508397
Actions

Tags

None

Subscribers

None

Description

adapted to new simproc finite

Details

Provenance

Authored on

Parents

rAFP71bc74409b62: clarified signature, following Isabelle/f362975e8ba1;

Branches

Unknown

Tags

Unknown

Reverted By

rAFPfa7371329b67: Backed out changeset 3a67df508397

Event Timeline

nipkow committed rAFP3a67df508397: adapted to new simproc finite.Nov 4 2022, 1:20 PM

nipkow added a reverting change: rAFPfa7371329b67: Backed out changeset 3a67df508397.Nov 5 2022, 10:02 AM

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

rAFP3a67df508397

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...