Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuning
  2. cleanup
Changeset 7451:f9e7dcf5a712 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 7450:4de2a30f7921 by blanchet:
cleanup
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)