[yegor] fixed a couple of minor bugs in some Gilbert_style proof steps_ Thu Dec 18 13:15:53 PST 2008 http://svn.metaprl.org/commitlogs/metaprl/2008-12/2008-12-18-13-15-53-948712000-PST.html http://svn.metaprl.org/commitlogs/metaprl/2008-12/2008-12-18-13-15-53-948712000-PST.html