Library rt.model.apa.time

(* The definition of time is the same. *)
Require Export rt.model.basic.time.