Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. theories "GCD" and "Binomial" are already included in "Main";
Changeset 7844:948235fd1719 by wenzelm:
theories "GCD" and "Binomial" are already included in "Main";
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)
The file was modified thys/Algebraic_VCs/AVC_KAD/VC_KAD_scratch.thy (diff)
The file was modified thys/Algebraic_VCs/AVC_KAT/VC_KAT_Examples.thy (diff)
The file was modified thys/Algebraic_VCs/AVC_KAT/VC_KAT_Examples2.thy (diff)
The file was modified thys/Algebraic_VCs/AVC_KAT/VC_KAT_scratch.thy (diff)
The file was modified thys/Algebraic_VCs/AVC_KAT/VC_RKAT_Examples.thy (diff)
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Card_Multisets/Card_Multisets.thy (diff)
The file was modified thys/Deep_Learning/PP_MPoly.thy (diff)
The file was modified thys/Group-Ring-Module/Algebra4.thy (diff)
The file was modified thys/Jordan_Normal_Form/Jordan_Normal_Form.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/PresArith.thy (diff)
The file was modified thys/Matrix/Matrix_Comparison.thy (diff)
The file was modified thys/Polynomial_Interpolation/Improved_Code_Equations.thy (diff)