Stream: Archive Mirror: Isabelle Users Mailing List

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

Email Gateway (Aug 18 2022 at 16:34):

From: Victor Porton <porton@narod.ru>
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.

Last updated: Apr 30 2025 at 08:27 UTC