Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. merged
  2. new proof line
Changeset 9617:c9f1a07f9f10 by paulson:
merged
Changeset 9616:4b1d46c15a16 by paulson _lp15@cam.ac.uk_:
new proof line
The file was modified thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy