Summary
- tuned
- merged
- tuned proofs
The file was modified | src/Doc/Prog_Prove/Logic.thy (diff) |
The file was modified | src/HOL/Analysis/Bochner_Integration.thy (diff) |
The file was modified | src/Doc/Prog_Prove/Logic.thy (diff) |
The file was modified | src/HOL/Analysis/Bochner_Integration.thy (diff) |