*To*: isabelle-users <isabelle-users at cl.cam.ac.uk>*Subject*: [isabelle] Induction rule for partial_function (tailrec)*From*: Andreas Lochbihler <andreas.lochbihler at inf.ethz.ch>*Date*: Wed, 13 Mar 2013 08:37:37 +0100*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130221 Thunderbird/17.0.3

Andreas

**Attachment:
Scratch.thy**

**Follow-Ups**:**Re: [isabelle] Induction rule for partial_function (tailrec)***From:*Alexander Krauss

- Previous by Date: Re: [isabelle] Set notation for tuples broken
- Next by Date: Re: [isabelle] Completeness of patterns for mutually recursive function definitions
- Previous by Thread: [isabelle] syntax highlighting on stackoverflow
- Next by Thread: Re: [isabelle] Induction rule for partial_function (tailrec)
- Cl-isabelle-users March 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list