Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. generalized
  2. added lemma
  3. more lemmas
  4. moved lemmas earlier
Changeset 7692:4a847956c270 by blanchet:
generalized
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy
Changeset 7691:7cc5c435a7a5 by blanchet:
added lemma
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy
Changeset 7690:96bdfb32b7ac by blanchet:
more lemmas
The file was modified thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy
Changeset 7689:b8433f909c4c by blanchet:
moved lemmas earlier
The file was modified thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy

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

Summary

  1. tuned proofs;
  2. clarified rendering;
  3. tuned;
Changeset 65151:a7394aa4d21c by wenzelm:
tuned proofs;
The file was modified src/HOL/Library/Lattice_Algebras.thy
Changeset 65150:fa299b4e50c3 by wenzelm:
clarified rendering;
The file was modified src/Pure/PIDE/rendering.scala
Changeset 65149:9dccbebf4511 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala