Florian Steurer 67e1c5c736 15ter testcase

2016-03-28 01:26:53 +02:00

..

FiniteClosureBuilder.java

smalller und neue testcases

2016-03-28 01:01:46 +02:00

FiniteClosureTest.java

15ter testcase

2016-03-28 01:26:53 +02:00

RuleSetTest.java

Type Factory in unifyNew bewegen

2016-03-16 14:56:02 +01:00

StandardUnifyTest.java

Type Factory in unifyNew bewegen

2016-03-16 14:56:02 +01:00

UnifyOldTest.java

swap rule test

2015-11-07 20:37:29 +01:00

UnifyTest.java

cartesische produkte überarbeitet

2016-03-20 18:05:34 +01:00