Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuning (and testing Sledgehammer)
Changeset 7440:7dc909daf5b4 by blanchet:
tuning (and testing Sledgehammer)
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)