Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. more documentation on "Conversions";
  2. tuned
Changeset 73592:c642c3cbbf0e by wenzelm:
more documentation on "Conversions";
The file was modified src/Doc/Implementation/Eq.thy
Changeset 73591:c1f8aaa13ee3 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/RBT_Set2.thy

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

Summary

  1. adapted to Isabelle/a2c589d5e1e4;
  2. Merge
  3. tweak
  4. simplified proof
Changeset 11737:a32a85449094 by wenzelm:
adapted to Isabelle/a2c589d5e1e4;
The file was modified thys/Isabelle_C/C11-FrontEnd/src/C_Eval.thy
Changeset 11736:74da145e496a by paulson _lp15@cam.ac.uk_:
Merge
Changeset 11735:4dc8cb80716c by paulson _lp15@cam.ac.uk_:
tweak
The file was modified thys/Ordinal_Partitions/Erdos_Milner.thy
Changeset 11734:88c78e611557 by nipkow:
simplified proof
The file was modified thys/Propositional_Proof_Systems/SC_Cut.thy