Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 3 hr 6 min on built-in
Success

#30 (Feb 22, 2016, 3:38:10 PM)

Changes
  1. An assortment of useful lemmas about sums, norm, etc. Also: norm_conv_dist [symmetric] is now a simprule! (detail / hgweb)

Started by an SCM change

Revision: 340738057c8cf868f7a228e56da4910c43f179d8
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #30( 3 hr 6 min )Console Output
isabelle-repo-makeallbuild #30( 1 hr 1 min )Console Output