Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. removed unused material to separate theory
  2. tuned
  3. proper theory for type of dual ordered lattice in distribution
Changeset 10220:50b208da7aad by haftmann:
removed unused material to separate theory
The file was addedthys/Certification_Monads/Misc.thy
The file was modified thys/Certification_Monads/Parser_Monad.thy
The file was modified thys/Certification_Monads/ROOT
Changeset 10219:40fce14e1cf0 by haftmann:
tuned
The file was modified thys/Certification_Monads/Parser_Monad.thy
Changeset 10218:fa191230956d by haftmann:
proper theory for type of dual ordered lattice in distribution
The file was modified thys/PCF/Basis.thy
The file was modified thys/PCF/Continuations.thy
The file was modified thys/PCF/Logical_Relations.thy
The file was modified thys/PCF/OpSem.thy
The file was modified thys/PCF/PCF.thy
The file was modified thys/PCF/ROOT
The file was modified thys/Stable_Matching/Contracts.thy
The file was modified thys/Stable_Matching/ROOT
The file was removedthys/PCF/Dual_Lattice.thy
The file was removedthys/Stable_Matching/Dual_Lattice.thy

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. executable equality
  2. improved code equations taken over from AFP
Changeset 69947:77a92e8d5167 by haftmann:
executable equality
The file was modified src/HOL/Library/Dual_Ordered_Lattice.thy
Changeset 69946:494934c30f38 by haftmann:
improved code equations taken over from AFP
The file was modified src/HOL/Code_Numeral.thy
The file was modified src/HOL/Library/Code_Target_Nat.thy