Summary
- 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) |