rma.real 105 Bytes
Newer Older
1
2
3
4
5

theorem check_scheduling
      foreach e in system_set do
      check(1=1);
      end check_scheduling;