src/HOLCF/Porder0.ML

         (etac trans_less 1),
         (atac 1)
         ]);
 
 goal Porder0.thy "((x::'a::po)=y) = (x << y & y << x)";
-by(fast_tac (HOL_cs addSEs [antisym_less_inverse] addSIs [antisym_less]) 1);
+by (fast_tac (HOL_cs addSEs [antisym_less_inverse] addSIs [antisym_less]) 1);
 qed "po_eq_conv";