[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...


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...



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