Sally4 Module Archetype

'info.kwarc.sally4:sally4-module-archetype:0.0.7'

<dependency>
	<groupId>info.kwarc.sally4</groupId>
	<artifactId>sally4-module-archetype</artifactId>
	<version>0.0.7</version>
</dependency>

<dependency org="info.kwarc.sally4" name="sally4-module-archetype" rev="0.0.7"/>

"info.kwarc.sally4", "sally4-module-archetype", "0.0.7"