Skip to content
Success

Changes

Summary

  1. tuned proof
Changeset 7444:b9db8497c8a0 by blanchet:
tuned proof
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_TKBO_Coefs.thy (diff)