Skip to content
Started 8 yr 4 mo ago
Took 3 hr 2 min on built-in
Failed

#79 (Feb 22, 2016, 6:09:51 PM)

Changes
  1. fixed proof after generalizing setsum_nonneg_0 (Isabelle 85ed00c1fe7c) (detail / hgweb)

Started by an SCM change

Revision: ad4c7ddd1021b2af4c0b9bed2ef9280d3d84fe3f
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #79( 3 hr 2 min )Console Output