Diffusion Isabelle 4fa08e083865

Extension of session HOL/Hoare with total correctness proof system by Walter…
4fa08e083865
Actions

Tags

None

Subscribers

None

Description

Extension of session HOL/Hoare with total correctness proof system by Walter Guttmann

Details

Provenance

Authored on

Parents

rISABELLE976d656ed31e: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE4fa08e083865: Extension of session HOL/Hoare with total correctness proof system by Walter….Dec 4 2020, 3:07 PM

Changes (10)

Path

Size

src/

HOL/

Hoare/

Hoare_Logic.thy

Hoare_Logic_Abort.thy

SchorrWaite.thy

hoare_syntax.ML

Isar_Examples/

rISABELLE4fa08e083865

CONTRIBUTORS

Loading...

src/HOL/Hoare/Hoare.thy

Loading...

src/HOL/Hoare/Hoare_Logic.thy

Loading...

src/HOL/Hoare/Hoare_Logic_Abort.thy

Loading...

src/HOL/Hoare/README.html

Loading...

src/HOL/Hoare/SchorrWaite.thy

Loading...

src/HOL/Hoare/hoare_syntax.ML

Loading...

src/HOL/Hoare/hoare_tac.ML

Loading...

src/HOL/Isar_Examples/Hoare.thy

Loading...

src/HOL/Isar_Examples/Hoare_Ex.thy

Loading...