Minor changes.
Merge branch 'master' of https://github.com/arbox/ldv-projektseminar-2012
Minor changes.
Added Logic resolver.
Added Stamp.
Updated LogicResolver and solved minor issues.
Updated STAMP.
Fixed minor errors.
Merge branch 'master' of https://github.com/arbox/ldv-projektseminar-2012