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

#78 (Feb 22, 2016, 3:14:09 PM)

Changes
  1. fixed proof after generalization of le_iff_add (Isabelle 85ed00c1fe7c) (detail / hgweb)

Started by an SCM change

Revision: 1b79b753a49d9a689c0ed75ad1e2f8c77194e3f9
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #78( 2 hr 55 min )Console Output