Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

adapted to HOL/devel by removing text copied from HOL earlier

Changeset 8539:de7fdcb2d3b4 by nipkow: adapted to HOL/devel by removing text copied from HOL earlier
The file was modified	`thys/First_Welfare_Theorem/Argmax.thy` (diff)