Summary
- interpretations for boolean operators
- more specific thm reference
The file was modified | src/HOL/Algebra/Cycles.thy (diff) |
The file was modified | src/HOL/Analysis/Convex_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/Lattices.thy (diff) |
The file was modified | src/HOL/Probability/Infinite_Product_Measure.thy (diff) |
The file was modified | src/HOL/Tools/Qelim/cooper.ML (diff) |