Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. adapted to e8282131ddf9
Changeset 8435:c08bb4068840 by nipkow:
adapted to e8282131ddf9
The file was modified thys/Deep_Learning/Tensor_Product.thy (diff)
The file was modified thys/Polynomial_Factorization/Missing_List.thy (diff)