Require Export Time.
Require Export TimeSyntax.
Require Export Transitions.
Require Export PAutomata.
Require Export Coercions.
Require Export AutoL.

Implicit Arguments Some [A].