addition to basic facts

The lemma jobs_must_arrive_to_be_ready needs to be in the basic facts database.

added 4 commits

• 8b86376b...0727d647 - 3 commits from branch RT-PROOFS:master
• acc353bd - addition to basic facts

Compare with previous version

enabled an automatic merge when the pipeline for acc353bd succeeds

merged