Florian Steurer 7c0a91e624 unitTest for lambda6, alternative sequential execution, minor bugs		2016-04-28 21:24:52 +02:00
..
FiniteClosureBuilder.java	rename mpair to unify pair / refactoring	2016-04-04 11:23:14 +02:00
FiniteClosureTest.java	organized imports	2016-04-07 22:33:14 +02:00
GenerateFiniteClosure.java	Merge mit Unify und Bytecode	2016-03-22 15:13:51 +01:00
RuleSetTest.java	fixed rule set test	2016-04-14 14:21:19 +02:00
StandardUnifyTest.java	extended case 6	2016-04-08 18:48:35 +02:00
TypeFactory.java	Support for FunN in FC added // swap for unifiers	2016-04-07 22:24:35 +02:00
UnifyTest.java	unitTest for lambda6, alternative sequential execution, minor bugs	2016-04-28 21:24:52 +02:00
UnifyTypeFactoryTest.java	Aufräumen	2016-04-07 14:39:07 +02:00