added lemmas total_on_trancl and totalp_on_tranclp
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEf4116b7a6679: Move code lemmas for symbolic computation of bit operations on int to…
- Branches
- Unknown
- Tags
added lemmas total_on_trancl and totalp_on_tranclp Tags None Subscribers None |