adapted to Isabelle/a01ea04aa58f
Showing
- thys/Chebyshev_Polynomials/Polynomial_Transfer.thy 2 additions, 1 deletionthys/Chebyshev_Polynomials/Polynomial_Transfer.thy
- thys/SCL_Simulates_Ground_Resolution/Exhaustive_Factorization.thy 1 addition, 1 deletion..._Simulates_Ground_Resolution/Exhaustive_Factorization.thy
- thys/SCL_Simulates_Ground_Resolution/Full_Run.thy 1 addition, 1 deletionthys/SCL_Simulates_Ground_Resolution/Full_Run.thy
Loading
Please register or sign in to comment