[isabelle] (simp): on left or right side?



In both isar-overview.pdf and isar-ref.pdf it seems forgotten to say which side of [simp] equation should be simpler, left or right.

Please answer and also add this into the documentation.

-- 
Victor Porton - http://portonvictor.org





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.