![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- proper imports;
| The file was modified | thys/CAVA_LTL_Modelchecker/BoolProgs/BoolProgs_LTL_Conv.thy (diff) |
| The file was modified | thys/CAVA_LTL_Modelchecker/CAVA_Abstract.thy (diff) |
| The file was modified | thys/Card_Multisets/ROOT (diff) |
| The file was modified | thys/Ergodic_Theory/ROOT (diff) |
| The file was modified | thys/Groebner_Bases/ROOT (diff) |
| The file was modified | thys/Group-Ring-Module/Algebra4.thy (diff) |
| The file was modified | thys/LTL_to_DRA/Auxiliary/Map2.thy (diff) |
| The file was modified | thys/Promela/PromelaLTL.thy (diff) |
| The file was modified | thys/Promela/PromelaLTLConv.thy (diff) |
| The file was modified | thys/Refine_Imperative_HOL/IICF/Impl/IICF_Sepl_Binding.thy (diff) |
| The file was modified | thys/Stern_Brocot/ROOT (diff) |
| The file was modified | thys/Stirling_Formula/Stirling_Formula.thy (diff) |
| The file was modified | thys/Vickrey_Clarke_Groves/CombinatorialAuctionCodeExtraction.thy (diff) |