Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

explicit simp rules for computing abstract bit operations

Changeset 67988:01c651412081 by haftmann: explicit simp rules for computing abstract bit operations
The file was modified	`src/HOL/Parity.thy` (diff)