Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed ancient nat-int transfer
Changeset 8520:2cad69849c28 by haftmann:
removed ancient nat-int transfer
The file was modified thys/Dirichlet_Series/Arithmetic_Summatory_Asymptotics.thy (diff)
The file was modified thys/SumSquares/TwoSquares.thy (diff)