Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. tuned definition of value as suggested by an ITP reviewer
Changeset 10466:d91cf5dccf6a by traytel:
merged
Changeset 10465:76da667dfde4 by traytel:
tuned definition of value as suggested by an ITP reviewer
The file was modified thys/LambdaAuth/Syntax.thy