Summary
- gcd_commute_nat fallout adjustments
The file was modified | thys/Algebraic_VCs/AVC_KAD/Path_Model_Example.thy (diff) |
The file was modified | thys/Algebraic_VCs/AVC_KAD/VC_KAD_Examples.thy (diff) |
The file was modified | thys/Algebraic_VCs/AVC_KAD/VC_KAD_Examples2.thy (diff) |
The file was modified | thys/Algebraic_VCs/AVC_KAD/VC_KAD_dual_Examples.thy (diff) |