ADL formalisms

2 posts were merged into an existing topic: What’s new in ADL2.4?