Re: [isabelle] Preferred citation for the induct(ion) method and the induct_tac method.



The first part of the book Concrete Semantics contains an intro to Isabelle that also covers induction.

Tobias

On 30/09/2019 10:19, Nagashima, Yutaka wrote:
Dear list,


Is there any paper I should cite when discussing these proof methods?


I used to cite only the old tutorial of Isabelle/HOL when writing about automating induction in Isabelle/HOL.


But maybe this was wrong, and I should cite some papers about these method.


Regards,

Yutaka


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



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