JanUlrich 0d3514cbd8 backup		2018-08-24 13:55:53 +02:00
..
gencay	Fehler beheben	2018-07-17 19:56:01 +02:00
typeinference	Aufräumen	2018-03-08 01:44:40 +01:00
withWildcards	backup	2018-08-24 13:55:53 +02:00
ClingoTest.java	Fehler beheben	2018-07-17 19:56:01 +02:00