Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. Just one lemma
Changeset 73674:0d79ac2eb106 by paulson:
merged
Changeset 73673:edb01b64dc16 by paulson _lp15@cam.ac.uk_:
Just one lemma
The file was modified src/HOL/Set.thy

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

Summary

  1. merged
  2. fixed some latex; tried the alternative definition of Ramsey
  3. Trying out Ramsey_eq for simpler proofs
  4. more tiny tweaks
Changeset 11780:26d8da1ea081 by paulson:
merged
Changeset 11779:b383e59aa162 by paulson _lp15@cam.ac.uk_:
fixed some latex; tried the alternative definition of Ramsey
The file was modified thys/Nash_Williams/Nash_Williams.thy
Changeset 11778:9340467e8c9a by paulson _lp15@cam.ac.uk_:
Trying out Ramsey_eq for simpler proofs
The file was modified thys/Nash_Williams/Nash_Williams.thy
Changeset 11777:54d98b691624 by paulson _lp15@cam.ac.uk_:
more tiny tweaks
The file was modified thys/Nash_Williams/Nash_Williams.thy