Skip to content
Success

Changes

Summary

  1. merge
  2. tuning
  3. removed 104 lines from the proof
Changeset 7449:9ac16a365a3b by blanchet:
merge
Changeset 7448:1039afad6608 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)
Changeset 7447:eba375cf77f1 by blanchet:
removed 104 lines from the proof
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)