void
Ltl_Init
(
)
Initializes the ltl package.
Side Effects
None
Last updated on 990119 20h08