JanUlrich 5d760d4222 Aufruf im UnifyTest OverloadingVector ändern		2016-05-03 22:15:19 +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	Aufruf im UnifyTest OverloadingVector ändern	2016-05-03 22:15:19 +02:00
UnifyTypeFactoryTest.java	Aufräumen	2016-04-07 14:39:07 +02:00