JanUlrich d53faa0c86 FiniteClosure korrekt generieren		2018-02-19 11:33:08 +01:00
..
ASPTest.java	FiniteClosure korrekt generieren	2018-02-19 11:33:08 +01:00
GenericsTest.java	Generics Test erzeugt falsches ConstraintSet	2017-12-20 13:34:34 +01:00
VectorTest.java	ASP-Generierung: parameterListe	2017-12-18 14:43:03 +01:00