Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. A couple of new results
  3. Syntax for the special cases Min(A`I) and Max (A`I)
Changeset 67971:e9f66b35d636 by paulson:
merged
Changeset 67970:8c012a49293a by paulson _lp15@cam.ac.uk_:
A couple of new results
The file was modified src/HOL/Analysis/Determinants.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
Changeset 67969:83c8cafdebe8 by paulson _lp15@cam.ac.uk_:
Syntax for the special cases Min(A`I) and Max (A`I)
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Factorial.thy (diff)
The file was modified src/HOL/Fields.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)