ADL formalisms

3 posts were split to a new topic: What’s new in ADL2.4?