Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. tuning
  3. tuned order of lemmas
  4. tuning order of lemmas
Changeset 7356:1c2fda78eba7 by blanchet:
merge
Changeset 7355:66e502c003a0 by blanchet:
tuning
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/Nested_Multisets_Ordinals/Nested_Multiset.thy (diff)
Changeset 7354:cd0f37a2afd0 by blanchet:
tuned order of lemmas
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBO_Basic.thy (diff)
Changeset 7353:d24f74e84ba3 by blanchet:
tuning order of lemmas
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)