Elsa Ast Type PseudoInstantiation

The Elsa ast class type PseudoInstantiation has been renamed to ATY_PseudoInstantiation in Olmar. See there for further information.

Comments

Please make your modifications only below, because the content above will be regenerated automatically from time to time.