foop/eiffel-fragen/replaceability, branch master FOOP repository https://git.manuel.mausz.at/foop/atom?h=master 2011-06-29T07:23:48Z make the replcaeability postcondition example a bit better 2011-06-29T07:23:48Z manuel manuel@mausz.at 2011-06-29T07:23:48Z urn:sha1:b77033dad8594796c2ecd2048f63c9fbc9c2df5a fix typo 2011-06-29T01:04:35Z manuel manuel@mausz.at 2011-06-29T01:04:35Z urn:sha1:039012a85eeb0fe96bf5d3e079dac7a2dc678988 add replaceabality test 2011-06-29T01:01:35Z manuel manuel@mausz.at 2011-06-29T01:01:35Z urn:sha1:04c19bc7ccae1ce8e20733c075df5e9d6c448fc4