Skip to content
Success

Changes

Summary

  1. merge
  2. simplified proof
Changeset 7363:b598a17e6eb3 by blanchet:
merge
Changeset 7362:133b3311ce63 by blanchet:
simplified 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)