Diffusion Isabelle dbac0ebb4a85

tuned (thanks to J. Villadsen)
dbac0ebb4a85
Actions

Tags

None

Subscribers

None

Description

tuned (thanks to J. Villadsen)

Details

Provenance

Authored on

Parents

rISABELLE6cb700c77786: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLEdbac0ebb4a85: tuned (thanks to J. Villadsen).Nov 12 2021, 4:09 PM

Changes (2)

Path

Size

src/

Doc/

Prog_Prove/

Types_and_funs.thy

rISABELLEdbac0ebb4a85

src/Doc/Prog_Prove/Logic.thy

Loading...

src/Doc/Prog_Prove/Types_and_funs.thy

Loading...