Summary
- updated to polyml-test-15c840d48c9a;
- some updates and clarification on Assumption.export_term;
- new theorem has_integral_UN
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | Admin/polyml/settings (diff) |
The file was modified | src/Doc/Implementation/Proof.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |