Skip to content
Started 7 yr 11 mo ago
Took 1 hr 12 min on built-in
Success

#305 (Jul 9, 2016, 1:38:11 PM)

Changes
  1. more lemmas to emphasize {0::nat..(<)n} as canonical representation of intervals on nat (detail / hgweb)

Started by an SCM change

Revision: 07612495a681b6e143ee548d7f1cd1d1825b7d48
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #305( 1 hr 12 min )Console Output