RealTimeDeque: replace reverseN with `take_rev
Description
Description
Details
Details
- Provenance
Balazs Toth <balazs.toth@quickbirdstudios.com> Authored on - Parents
- rAFP70cf7337c410: replaced Open_Induction.Restricted_Predicates.total_on by equivalent HOL.
- Branches
- Unknown
- Tags