[isabelle] Lifting a partial definition to a quotient type



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



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