Diffusion afp-devel d04de3d51efb

Fix failing proofs after update to Metis 2.4
d04de3d51efb
Actions

Tags

None

Subscribers

None

Description

Fix failing proofs after update to Metis 2.4

Details

Provenance

Authored on

Parents

rAFP1cdcce397e9d: separation of traditional bit operations

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPd04de3d51efb: Fix failing proofs after update to Metis 2.4.Jul 9 2020, 11:41 AM

Changes (2)

Path

Size

thys/

Automated_Stateful_Protocol_Verification/

Stateful_Protocol_Model.thy

Smith_Normal_Form/

Diagonal_To_Smith_JNF.thy

rAFPd04de3d51efb

thys/Automated_Stateful_Protocol_Verification/Stateful_Protocol_Model.thy

Loading...

thys/Smith_Normal_Form/Diagonal_To_Smith_JNF.thy

Loading...