Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer formal comments;
Changeset 67410:64d928bacddd by wenzelm:
prefer formal comments;
The file was modified src/HOL/Hoare/Examples.thy (diff)
The file was modified src/HOL/Hoare/Hoare_Logic_Abort.thy (diff)
The file was modified src/HOL/Hoare/SchorrWaite.thy (diff)
The file was modified src/HOL/Hoare/Separation.thy (diff)