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

#43 (Feb 27, 2016, 1:14:04 AM)

Changes
  1. more succint formulation of membership for multisets, similar to lists;
    discontinued ASCII notation for multiset membership;
    more theorems on multisets, dropping redundant interpretation;
    modernized notation;
    some annotations concerning future work (detail / hgweb)

Started by an SCM change

Revision: 9527ff088c15799d5a7604fa974242f8b75b87a8
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #43( 58 min )Console Output
isabelle-repo-afpbuild #43( 2 hr 43 min )Console Output