Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. sshiftr/bl lemmas by Florian Märkl
  2. proof simplification
Changeset 11733:556e4a005c15 by gerwin klein _kleing@unsw.edu.au_:
sshiftr/bl lemmas by Florian Märkl
The file was modified thys/Word_Lib/Reversed_Bit_Lists.thy
Changeset 11732:1e065f54de8c by paulson _lp15@cam.ac.uk_:
proof simplification
The file was modified thys/Ordinal_Partitions/Erdos_Milner.thy