[isabelle] using and simp add:



Hi,

is there any difference using

show "lemma" using fact1 and fact 2 by simp

and

show "lemma" by (simp add: fact1 fact2)

?

- Gergely




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