Summary
- added chains of (in)equations
The file was modified | src/Doc/Prog_Prove/Isar.thy (diff) |
The file was modified | src/Doc/Prog_Prove/document/root.bib (diff) |
The file was modified | src/Doc/Prog_Prove/Isar.thy (diff) |
The file was modified | src/Doc/Prog_Prove/document/root.bib (diff) |