![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- tuned op's
| The file was modified | thys/Affine_Arithmetic/Affine_Code.thy (diff) |
| The file was modified | thys/Collections/GenCF/Intf/Intf_Hash.thy (diff) |
| The file was modified | thys/Refine_Monadic/Generic/RefineG_Recursion.thy (diff) |
| The file was modified | thys/Affine_Arithmetic/Affine_Code.thy (diff) |
| The file was modified | thys/Collections/GenCF/Intf/Intf_Hash.thy (diff) |
| The file was modified | thys/Refine_Monadic/Generic/RefineG_Recursion.thy (diff) |