Diffusion afp-devel e9f74a71da1d

Correctness_Algebras: increase nitpick timeout
e9f74a71da1d
Actions

Tags

None

Subscribers

None

Description

Correctness_Algebras: increase nitpick timeout

Details

Provenance

Walter Guttmann <walter.guttmann@canterbury.ac.nz>

Authored on

Parents

rAFPc9ed46c09de9: CZH: dagger monoidal categories

Branches

Unknown

Tags

Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFPe9f74a71da1d: Correctness_Algebras: increase nitpick timeout.Nov 8 2021, 5:10 AM

Changes (4)

Path

Size

thys/

Correctness_Algebras/

Approximation.thy

Lattice_Ordered_Semirings.thy

Omega_Algebras.thy

rAFPe9f74a71da1d

thys/Correctness_Algebras/Approximation.thy

Loading...

thys/Correctness_Algebras/Base.thy

Loading...

thys/Correctness_Algebras/Lattice_Ordered_Semirings.thy

Loading...

thys/Correctness_Algebras/Omega_Algebras.thy

Loading...