![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- proper concept of code declaration wrt. atomicity and Isar declarations
| The file was modified | thys/Affine_Arithmetic/Affine_Approximation.thy (diff) |
| The file was modified | thys/Coinductive/Examples/Resumption.thy (diff) |
| The file was modified | thys/Collections/ICF/tools/Locale_Code.thy (diff) |
| The file was modified | thys/Collections/ICF/tools/Record_Intf.thy (diff) |
| The file was modified | thys/Native_Word/Uint_Userguide.thy (diff) |
| The file was modified | thys/Nominal2/nominal_function.ML (diff) |
| The file was modified | thys/Nominal2/nominal_termination.ML (diff) |