Summary
- Replaced Raw Proof Blocks by Local Lemmas
- tuned
The file was modified | src/Doc/Prog_Prove/Isar.thy (diff) |
The file was modified | src/HOL/Data_Structures/Tree23_Set.thy (diff) |
The file was modified | src/Doc/Prog_Prove/Isar.thy (diff) |
The file was modified | src/HOL/Data_Structures/Tree23_Set.thy (diff) |