Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merge from afp-2019
  2. Simpl: adjust syntax modifiers to work with abbreviations (Edward Pierzchalski)
  3. Word_Lib: remove duplicate lemma
  4. Word_Lib: tweak enum syntax (on behalf of Japheth Lim)
  5. Word_Lib: clenaup
  6. Word_Lib: speed up word8_exhaust (on behalf of Edward Pierzchalski)
  7. update Safe_OCL to Isabelle2019-RC2
Changeset 10440:cd86f83a05bb by kleing:
merge from afp-2019
Changeset 10439:1a623915bf3f by kleing:
Simpl: adjust syntax modifiers to work with abbreviations (Edward Pierzchalski)
The file was modified thys/Simpl/hoare_syntax.ML
Changeset 10438:069960f46fde by kleing:
Word_Lib: remove duplicate lemma
The file was modified thys/Word_Lib/Word_Lib.thy
Changeset 10437:ea75e2aa28f2 by kleing:
Word_Lib: tweak enum syntax (on behalf of Japheth Lim)
The file was modified thys/Word_Lib/Enumeration.thy
Changeset 10436:195951b42101 by kleing:
Word_Lib: clenaup
The file was modified thys/Word_Lib/Word_Enum.thy
Changeset 10435:7bf63ae7f172 by kleing:
Word_Lib: speed up word8_exhaust (on behalf of Edward Pierzchalski)
The file was modified thys/Word_Lib/Word_Lemmas.thy
Changeset 10434:d78384a4284c by kleing:
update Safe_OCL to Isabelle2019-RC2
The file was modified thys/Safe_OCL/OCL_Examples.thy