Port instantiations

model/arrival/basic/task.v

 Require Import rt.model.time rt.util.all.
 From mathcomp Require Import ssrnat ssrbool eqtype fintype seq.
 
+(* TODO : delete modules *)
 (* Attributes of a valid sporadic task. *)
 Module SporadicTask.
 
@@ -36,7 +37,9 @@ End SporadicTask.
 
 (* Definition and properties of a task set. *)
 Module SporadicTaskset.
+  
   Import Time.
+
   Export SporadicTask.
 
   Section TasksetDefs.