9 Commits

Author	SHA1	Message	Date
Florian Steurer	d080eb4a0a	extended case 6	2016-04-08 18:48:35 +02:00
Florian Steurer	6793b0bd24	rename mpair to unify pair / refactoring	2016-04-04 11:23:14 +02:00
Florian Steurer	20d1106e07	refactored Types //	2016-04-03 22:43:55 +02:00
JanUlrich	1e9d0517f2	Umstellung auf MPair beginnen	2016-03-24 11:57:17 +01:00
JanUlrich	1f825360df	Test GenerateFiniteClosure anfügen	2016-03-17 16:54:43 +01:00
JanUlrich	1762101330	Type Factory in unifyNew bewegen	2016-03-16 14:56:02 +01:00
Florian Steurer	27acee3385	standard martelli montanari unifiy fixed	2016-03-13 16:00:00 +01:00
Florian Steurer	98cbe9b389	package rename + Mapping Klasse	2015-12-27 00:29:23 +01:00
Florian Steurer	264910bfa4	tests	2015-12-23 22:53:24 +01:00