Summary
- merged
- rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;
- Tiny tweaks to proofs
The file was modified | src/Doc/Nitpick/document/root.tex (diff) |
The file was modified | src/Doc/Sledgehammer/document/root.tex (diff) |
The file was modified | src/HOL/Complex_Analysis/Cauchy_Integral_Formula.thy (diff) |
The file was modified | src/HOL/Complex_Analysis/Conformal_Mappings.thy (diff) |