How To Documentation Template
XT -- A Bundle of Program Transformation Tools
Task
One sentence.
Description
Global (step-wise) procedure for carrying-out the task.
Examples
Specific instantiation of the global procedure for specific input.
See also