Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. update cartouches
  2. LambdaAuth: remove lemmas moved to distribution
Changeset 10442:87cfcf4d1dec by lars hupel _lars.hupel@mytum.de_:
update cartouches
The file was modified thys/LambdaAuth/ROOT
Changeset 10441:ca143f3dbb79 by lars hupel _lars.hupel@mytum.de_:
LambdaAuth: remove lemmas moved to distribution
The file was modified thys/LambdaAuth/Agreement.thy
The file was modified thys/LambdaAuth/FMap_Lemmas.thy
The file was modified thys/LambdaAuth/Results.thy
The file was modified thys/LambdaAuth/Semantics.thy