Add sequential restricted-supply aRTA

This MR adds a sequential version of the restricted-supply aRTA.

Depends on !249 (merged).

Thanks to !317 (merged), I got the proof (almost) for free.

added 1 commit

• 1c945fda - : close remaining lemmas

Compare with previous version

I presume !249 (merged) needs to go in before this one?

changed the description

added 10 commits

• 1c945fda...d76f6f9d - 7 commits from branch RT-PROOFS:master
• 496ebce7 - introduce restricted-supply abstract RTA
• d7b06e60 - : add RS-SEQ-aRTA
• c7784619 - : close remaining lemmas

Compare with previous version

added 1 commit

• 7fb9e08a - introduce sequential RS abstract RTA

Compare with previous version

resolved all threads

marked this merge request as ready

requested review from @proux

assigned to @bbb

The MR is ready for a review (@bbb)