Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. the theory of Equipollence, and moving Fpow from Cardinals into Main
  3. proper treatment of x86_64_32;
  4. more appropriate section
  5. combinator to lift local theory update to theory update
  6. merged
  7. tagged 5 theories
Changeset 69736:25d539a4b5bb by paulson:
merged
Changeset 69735:8230dca028eb by paulson _lp15@cam.ac.uk_:
the theory of Equipollence, and moving Fpow from Cardinals into Main
The file was addedsrc/HOL/Library/Equipollence.thy
The file was modified src/HOL/Cardinals/Cardinal_Order_Relation.thy (diff)
The file was modified src/HOL/Cardinals/Fun_More.thy (diff)
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
Changeset 69734:e58f158c8ac5 by wenzelm:
proper treatment of x86_64_32;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 69733:6d158fd15b85 by haftmann:
more appropriate section
The file was modified NEWS (diff)
Changeset 69732:49d25343d3d4 by haftmann:
combinator to lift local theory update to theory update
The file was modified src/Pure/Isar/named_target.ML (diff)
The file was modified src/Pure/Isar/typedecl.ML (diff)
Changeset 69731:82750b732bb9 by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
merged
Changeset 69730:0c3dcb3a17f6 by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
tagged 5 theories
The file was modified src/HOL/Analysis/Ordered_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Poly_Roots.thy (diff)
The file was modified src/HOL/Analysis/Polytope.thy (diff)
The file was modified src/HOL/Analysis/Radon_Nikodym.thy (diff)
The file was modified src/HOL/Analysis/Regularity.thy (diff)