Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. more CONTRIBUTORS + NEWS;
  2. tuned;
  3. proper description;
  4. tuned whitespace;
  5. option "sort_updates" for record update simproc. Make proper record simproc definitions.
Changeset 76043:b80f33e5323f by wenzelm:
more CONTRIBUTORS + NEWS;
The file was modified CONTRIBUTORS
The file was modified NEWS
Changeset 76042:e076b1b42c44 by wenzelm:
tuned;
The file was modified src/HOL/Examples/Records.thy
Changeset 76041:4a1330addb4e by wenzelm:
proper description;
The file was modified etc/options
Changeset 76040:5326abe1fff8 by wenzelm:
tuned whitespace;
The file was modified src/HOL/Tools/record.ML
Changeset 76039:ca7737249aa4 by Norbert Schirmer _nschirmer@apple.com_:
option "sort_updates" for record update simproc. Make proper record simproc definitions.
The file was modified src/HOL/Examples/Records.thy
The file was modified src/HOL/Tools/record.ML

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

Summary

  1. replaced slow smt call by blast
Changeset 12963:10120a93e155 by blanchet:
replaced slow smt call by blast
The file was modified thys/Saturation_Framework/Given_Clause_Architectures.thy