more lemmas and less name space pollution
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE2efc5b8c7456: canonical bit shifts for word type, leaving duplicates as they are at the moment
- Branches
- Unknown
- Tags