Summary
- more cleanup of fundamental_theorem_of_calculus_interior
- added lemmas
- merged
- more cleanup of fundamental_theorem_of_calculus_interior
- partly unravelled fundamental_theorem_of_calculus_interior
- more unknotting
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |