Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge
  2. merge
  3. Merge with developper version on LISN gut
Changeset 13487:1a9a11b80670 by Burkhart Wolff _wolff@lri.fr_:
merge
Changeset 13486:9579af7ca295 by Burkhart Wolff _wolff@lri.fr_:
merge
Changeset 13485:380653982dcd by Burkhart Wolff _wolff@lri.fr_:
Merge with developper version on LISN gut
The file was modified thys/Clean/document/root.bib
The file was modified thys/Clean/examples/IsPrime.thy
The file was modified thys/Clean/examples/LinearSearch.thy
The file was modified thys/Clean/examples/Quicksort.thy
The file was modified thys/Clean/examples/Quicksort_concept.thy
The file was modified thys/Clean/examples/SquareRoot_concept.thy
The file was modified thys/Clean/src/Clean.thy
The file was modified thys/Clean/src/Lens_Laws.thy
The file was modified thys/Clean/src/Symbex_MonadSE.thy