HomeIsabelle/Phabricator
Diffusion afp-devel cc4737a8a1ad

Correctness_Algebras: uncomment counterexamples
cc4737a8a1ad
Actions

Description

Correctness_Algebras: uncomment counterexamples

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFPff251fab7614: clarified identity of theory data: avoid accidental pointer_eq, use equality on…
Branches
Unknown
Tags
Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFPcc4737a8a1ad: Correctness_Algebras: uncomment counterexamples.Nov 1 2021, 4:11 AM

Changes (18)

PathSize
thys/
Correctness_Algebras/

rAFPcc4737a8a1ad

View Options

thys/Correctness_Algebras/Binary_Iterings.thy

Loading...
View Options

thys/Correctness_Algebras/Binary_Iterings_Nonstrict.thy

Loading...
View Options

thys/Correctness_Algebras/Binary_Iterings_Strict.thy

Loading...
View Options

thys/Correctness_Algebras/Boolean_Semirings.thy

Loading...
View Options

thys/Correctness_Algebras/Domain_Iterings.thy

Loading...
View Options

thys/Correctness_Algebras/Extended_Designs.thy

Loading...
View Options

thys/Correctness_Algebras/General_Refinement_Algebras.thy

Loading...
View Options

thys/Correctness_Algebras/Hoare_Modal.thy

Loading...
View Options

thys/Correctness_Algebras/Lattice_Ordered_Semirings.thy

Loading...
View Options

thys/Correctness_Algebras/N_Algebras.thy

Loading...
View Options

thys/Correctness_Algebras/N_Omega_Binary_Iterings.thy

Loading...
View Options

thys/Correctness_Algebras/N_Semirings.thy

Loading...
View Options

thys/Correctness_Algebras/Omega_Algebras.thy

Loading...
View Options

thys/Correctness_Algebras/Pre_Post.thy

Loading...
View Options

thys/Correctness_Algebras/Preconditions.thy

Loading...
View Options

thys/Correctness_Algebras/Recursion.thy

Loading...
View Options

thys/Correctness_Algebras/Relative_Domain.thy

Loading...
View Options

thys/Correctness_Algebras/Relative_Modal.thy

Loading...