explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rAFPa168f8f2bbc3: tuned signature, according to Isabelle/28a582aa25dd;
- Branches
- Unknown
- Tags