Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. fix imports
  2. move lemma less_multiset_doubletons
Changeset 10779:b2241741f50f by alexander bentkamp _a.bentkamp@vu.nl_:
fix imports
The file was modified thys/Lambda_Free_EPO/Lambda_Free_EPO.thy
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBO_Std.thy
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPO_Std.thy
Changeset 10778:ce989c675f3a by alexander bentkamp _a.bentkamp@vu.nl_:
move lemma less_multiset_doubletons
The file was modified thys/Lambda_Free_RPOs/Extension_Orders.thy
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy