void
Ltl_Init
(
)
Initializes the ltl package.
Side Effects
None
Last updated on 990908 16h51