log

age author description
Tue, 23 Apr 2013 16:19:52 +0200 Thomas Wuerthinger Merge.
Tue, 23 Apr 2013 15:44:50 +0200 Thomas Wuerthinger Merge.
Tue, 23 Apr 2013 15:44:07 +0200 Thomas Wuerthinger Added a method isValid to the Assumption class. Added javadoc to the Assumption class.