Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. remove lemma now in Main
  2. added multiset lemma
Changeset 7552:7e198fbc3e6a by blanchet:
remove lemma now in Main
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBO_Std.thy (diff)
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_TKBO_Coefs.thy (diff)
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPO_Optim.thy (diff)
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPO_Std.thy (diff)
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_Util.thy (diff)
Changeset 7551:7e030f46438f by blanchet:
added multiset lemma
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)