Small fixes
- Changed name of lemma
instantiated_busy_interval_equivalent_edf_busy_interval. - Changed
IBFtoIBF_other. - Task type changed in
fully_preemptive.v - Comment changes.
Edited by Sergey Bozhko
instantiated_busy_interval_equivalent_edf_busy_interval.IBF to IBF_other.fully_preemptive.v