Status

Changes

Console Output

View Build Information

Polling Log

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

fixed proof after generalizing setsum_nonneg_0 (Isabelle 85ed00c1fe7c)

Changeset 6367:ad4c7ddd1021 by hoelzl: fixed proof after generalizing setsum_nonneg_0 (Isabelle 85ed00c1fe7c)
The file was modified	`thys/Lower_Semicontinuous/Lower_Semicontinuous.thy` (diff)