Sally4 Feature Collection

'info.kwarc.sally4:sally4-features:1.0.0'

<dependency>
	<groupId>info.kwarc.sally4</groupId>
	<artifactId>sally4-features</artifactId>
	<version>1.0.0</version>
</dependency>

<dependency org="info.kwarc.sally4" name="sally4-features" rev="1.0.0"/>

"info.kwarc.sally4", "sally4-features", "1.0.0"