Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. merged
  2. minor stylistic changes
Changeset 11730:401da3b5743d by paulson:
merged
Changeset 11729:075ee4dc645d by paulson _lp15@cam.ac.uk_:
minor stylistic changes
The file was modified thys/Ordinal_Partitions/Erdos_Milner.thy