Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

remove accidentally oops'ed (and wrong) lemma

Changeset 64179:ce205d1f8592 by lars hupel _lars.hupel@mytum.de_: remove accidentally oops'ed (and wrong) lemma
The file was modified	`src/HOL/Library/Finite_Map.thy` (diff)