Require Export Time.
Require Export TimeSyntax.
Require Export TransMod.
Require Export PAutomataMod.
Require Export Coercions.
Require Export AutoLMod.

Implicit Arguments Some [A].