modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Gleichungen a <.? b werden durch a =. b ersetzt und subst angewandt.
deleted: ../../test/bytecode/VectorAddTest.java
modified: ../../test/bytecode/javFiles/Matrix.jav
modified: ../../test/bytecode/javFiles/Sorting.jav
Variance für Attribute/Fields eingefuegt
new file: ../FacultyTest.java
new file: ../MatrixOpTest.java
new file: ../SortingTest.java
new file: MatrixOP.jav
modified: Sorting.jav