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 generalization of le_iff_add (Isabelle 85ed00c1fe7c)

Changeset 6366:1b79b753a49d by hoelzl: fixed proof after generalization of le_iff_add (Isabelle 85ed00c1fe7c)
The file was modified	`thys/Formal_SSA/FormalSSA_Misc.thy` (diff)