Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. adapt to isabelle dev
Changeset 8971:ac52637d0108 by max p. l. haslbeck _haslbena@in.tum.de_:
merge
Changeset 8970:2afbc23804a9 by max p. l. haslbeck _haslbena@in.tum.de_:
adapt to isabelle dev
The file was modified thys/Hoare_Time/Big_StepT.thy (diff)
The file was modified thys/Hoare_Time/DiscussionO.thy (diff)
The file was modified thys/Hoare_Time/QuantK_Hoare.thy (diff)
The file was modified thys/Hoare_Time/QuantK_VCG.thy (diff)
The file was modified thys/Hoare_Time/SepLogK_Hoare.thy (diff)