Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplified proof a bit
Changeset 7457:fa459e75b503 by blanchet:
simplified proof a bit
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)