Diffusion afp-devel 380653982dcd

Merge with developper version on LISN gut
380653982dcd
Actions

Tags

None

Subscribers

None

Description

Merge with developper version on LISN gut

Details

Provenance

Burkhart Wolff <wolff@lri.fr>

Authored on

Parents

rAFP8c220a4fb5ab: merging

Branches

Unknown

Tags

Unknown

Event Timeline

Burkhart Wolff <wolff@lri.fr> committed rAFP380653982dcd: Merge with developper version on LISN gut.May 19 2023, 7:29 AM

Changes (9)

Path

Size

thys/

Clean/

document/

examples/

LinearSearch.thy

Quicksort_concept.thy

SquareRoot_concept.thy

src/

Symbex_MonadSE.thy

rAFP380653982dcd

thys/Clean/document/root.bib

Loading...

thys/Clean/examples/IsPrime.thy

Loading...

thys/Clean/examples/LinearSearch.thy

Loading...

thys/Clean/examples/Quicksort.thy

Loading...

thys/Clean/examples/Quicksort_concept.thy

Loading...

thys/Clean/examples/SquareRoot_concept.thy

Loading...

thys/Clean/src/Clean.thy

Loading...

thys/Clean/src/Lens_Laws.thy

Loading...

thys/Clean/src/Symbex_MonadSE.thy

Loading...