Markus Gylling 3c0a09624e clean up prooftype getter		2022-09-01 18:48:17 +02:00
..
src	clean up prooftype getter	2022-09-01 18:48:17 +02:00
pom.xml	Undid POM exclusions and commented out mvn enforcer to address issues with missing runtime jars.	2022-08-02 15:09:52 -04:00