foop/eiffel-fragen/replaceability, branch master FOOP repository make the replcaeability postcondition example a bit better 2011-06-29T07:23:48+00:00 manuel manuel@mausz.at 2011-06-29T07:23:48+00:00 b77033dad8594796c2ecd2048f63c9fbc9c2df5a 






fix typo
2011-06-29T01:04:35+00:00

manuel
manuel@mausz.at

2011-06-29T01:04:35+00:00

039012a85eeb0fe96bf5d3e079dac7a2dc678988












add replaceabality test
2011-06-29T01:01:35+00:00

manuel
manuel@mausz.at

2011-06-29T01:01:35+00:00

04c19bc7ccae1ce8e20733c075df5e9d6c448fc4