Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Avoid calculations where not necessary.
  2. Prefer existing horner sum combinator.
  3. Executable lexords.
  4. Less warnings.
Changeset 75601:5ec227251b07 by haftmann:
Avoid calculations where not necessary.
The file was modified src/HOL/Library/Char_ord.thy
Changeset 75600:6de655ccac19 by haftmann:
Prefer existing horner sum combinator.
The file was modified NEWS
The file was modified src/HOL/Library/Char_ord.thy
Changeset 75599:36965f6b3530 by haftmann:
Executable lexords.
The file was modified src/HOL/List.thy
Changeset 75598:d078f8482155 by haftmann:
Less warnings.
The file was modified src/HOL/List.thy

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

Summary

  1. Avoid calculations where not necessary.
Changeset 12714:46986ae57fb9 by haftmann:
Avoid calculations where not necessary.
The file was modified thys/XML/Xml.thy