Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

more multiset simp rules

Changeset 64017:6e7bf7678518 by fleury _mathias.fleury@mpi-inf.mpg.de_: more multiset simp rules
The file was modified	`src/HOL/Library/Multiset.thy` (diff)