Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. strict_sorted now an abbreviation
Changeset 73683:60a788467639 by paulson _lp15@cam.ac.uk_:
strict_sorted now an abbreviation
The file was modified src/HOL/List.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. strict_sorted now an abbreviation
Changeset 11786:e93051f65b1a by paulson _lp15@cam.ac.uk_:
strict_sorted now an abbreviation
The file was modified thys/Nash_Williams/Nash_Extras.thy
The file was modified thys/Ordinal_Partitions/Library_Additions.thy
The file was modified thys/Ordinal_Partitions/Omega_Omega.thy
The file was modified thys/ZFC_in_HOL/Cantor_NF.thy