*To*: USR Isabelle Mailinglist <isabelle-users at cl.cam.ac.uk>*Subject*: [isabelle] Lifting a partial definition to a quotient type*From*: John Wickerson <jpw48 at cam.ac.uk>*Date*: Tue, 12 Mar 2013 15:27:05 +0100

Hi, I just wanted to alert the Quotient people to the following question that has recently appeared on Stack Overflow, on which they might have an opinion... http://stackoverflow.com/questions/15347913/lifting-a-partial-definition-to-a-quotient-type More generally, in case anybody is interested in following Isabelle-related questions on Stack Overflow, I thought I'd just point out that you might like to subscribe to the following rss feed... http://stackoverflow.com/feeds/tag/isabelle John

**Follow-Ups**:**Re: [isabelle] Lifting a partial definition to a quotient type***From:*Florian Haftmann

- Previous by Date: [isabelle] Completeness of patterns for mutually recursive function definitions
- Next by Date: Re: [isabelle] Lifting a partial definition to a quotient type
- Previous by Thread: Re: [isabelle] Completeness of patterns for mutually recursive function definitions
- Next by Thread: Re: [isabelle] Lifting a partial definition to a quotient type
- 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