Diffusion afp-devel 5553daf386e6

New entry Correctness_Algebras
5553daf386e6
Actions

Tags

None

Subscribers

None

Description

New entry Correctness_Algebras

Details

Provenance

Authored on

Parents

rAFP390727e50cc9: fixed duplicate "and"

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP5553daf386e6: New entry Correctness_Algebras.Oct 20 2021, 11:43 AM

Changes (54)

Path

Size

metadata/

Correctness_Algebras

Approximation.thy

Binary_Iterings.thy

Binary_Iterings_Nonstrict.thy

Binary_Iterings_Strict.thy

Boolean_Semirings.thy

Capped_Omega_Algebras.thy

Complete_Domain.thy

Complete_Tests.thy

Domain_Iterings.thy

Domain_Recursion.thy

Extended_Designs.thy

General_Refinement_Algebras.thy

Hoare_Modal.thy

Lattice_Ordered_Semirings.thy

Monotonic_Boolean_Transformers.thy

Monotonic_Boolean_Transformers_Instances.thy

N_Omega_Algebras.thy

N_Omega_Binary_Iterings.thy

N_Relation_Algebras.thy

N_Semirings.thy

N_Semirings_Boolean.thy

N_Semirings_Modal.thy

Omega_Algebras.thy

Pre_Post_Modal.thy

Preconditions.thy

Recursion_Strict.thy

Relative_Domain.thy

Relative_Modal.thy

Test_Iterings.thy

Correctness_Algebras.html

MonoBoolTranAlgebra.html

Stone_Kleene_Relation_Algebras.html

Subset_Boolean_Algebras.html

statistics.html

rAFP5553daf386e6

metadata/metadata

Loading...

thys/Correctness_Algebras/Approximation.thy

Loading...

thys/Correctness_Algebras/Base.thy

Loading...

thys/Correctness_Algebras/Binary_Iterings.thy

Loading...

thys/Correctness_Algebras/Binary_Iterings_Nonstrict.thy

Loading...

thys/Correctness_Algebras/Binary_Iterings_Strict.thy

Loading...

thys/Correctness_Algebras/Boolean_Semirings.thy

Loading...

thys/Correctness_Algebras/Capped_Omega_Algebras.thy

Loading...

thys/Correctness_Algebras/Complete_Domain.thy

Loading...

thys/Correctness_Algebras/Complete_Tests.thy

Loading...

thys/Correctness_Algebras/Domain.thy

Loading...

thys/Correctness_Algebras/Domain_Iterings.thy

Loading...

thys/Correctness_Algebras/Domain_Recursion.thy

Loading...

thys/Correctness_Algebras/Extended_Designs.thy

Loading...

thys/Correctness_Algebras/General_Refinement_Algebras.thy

Loading...

thys/Correctness_Algebras/Hoare.thy

Loading...

thys/Correctness_Algebras/Hoare_Modal.thy

Loading...

thys/Correctness_Algebras/Lattice_Ordered_Semirings.thy

Loading...

thys/Correctness_Algebras/Monotonic_Boolean_Transformers.thy

Loading...

thys/Correctness_Algebras/Monotonic_Boolean_Transformers_Instances.thy

Loading...

thys/Correctness_Algebras/N_Algebras.thy

Loading...

thys/Correctness_Algebras/N_Omega_Algebras.thy

Loading...

thys/Correctness_Algebras/N_Omega_Binary_Iterings.thy

Loading...

thys/Correctness_Algebras/N_Relation_Algebras.thy

Loading...

thys/Correctness_Algebras/N_Semirings.thy

Loading...

thys/Correctness_Algebras/N_Semirings_Boolean.thy

Loading...

thys/Correctness_Algebras/N_Semirings_Modal.thy

Loading...

thys/Correctness_Algebras/Omega_Algebras.thy

Loading...

thys/Correctness_Algebras/Pre_Post.thy

Loading...

thys/Correctness_Algebras/Pre_Post_Modal.thy

Loading...

thys/Correctness_Algebras/Preconditions.thy

Loading...

thys/Correctness_Algebras/ROOT

Loading...

thys/Correctness_Algebras/Recursion.thy

Loading...

thys/Correctness_Algebras/Recursion_Strict.thy

Loading...

thys/Correctness_Algebras/Relative_Domain.thy

Loading...

thys/Correctness_Algebras/Relative_Modal.thy

Loading...

thys/Correctness_Algebras/Test_Iterings.thy

Loading...

thys/Correctness_Algebras/Tests.thy

Loading...

thys/Correctness_Algebras/document/root.bib

Loading...

thys/Correctness_Algebras/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/Correctness_Algebras.html

Loading...

web/entries/MonoBoolTranAlgebra.html

Loading...

web/entries/Stone_Kleene_Relation_Algebras.html

Loading...

web/entries/Subset_Boolean_Algebras.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...