Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

ordered_comm_monoid_add is now ordered_cancel_comm_monoid_add

Changeset 7382:03e0b6095386 by Andreas Lochbihler: ordered_comm_monoid_add is now ordered_cancel_comm_monoid_add
The file was modified	`thys/Deep_Learning/PP_Poly_Mapping.thy` (diff)