Skip to content
Success

Changes

Summary

  1. tuning
Changeset 7418:e47c0939ef30 by blanchet:
tuning
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_TKBO_Coefs.thy (diff)