1201 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Martin Plümicke	47b5b2a288	1. BUG 15: TPH1 <. ? super TPH2 führt zu TPH1 <. TPH2 und zu Eq1 einzugefuegt 1. BUG 16: Unify in Zusammenhangskomponenten aufgeteit, muss wieder zurueckgenommen werden	2013-01-01 02:56:34 +01:00