*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Want a type of non-negatives for a field, to work like nat/int*From*: Gottfried Barrow <igbi at gmx.com>*Date*: Thu, 13 Feb 2014 23:08:41 -0600*In-reply-to*: <52FCE141.9020005@in.tum.de>*References*: <52F68FD1.3060307@gmx.com> <52F695E2.7080602@gmx.com> <52F6CB1A.7060500@gmx.com> <52F7ACAC.6040100@gmx.com> <52F803E9.2010005@in.tum.de> <52FCE141.9020005@in.tum.de>*User-agent*: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312 Thunderbird/11.0

On 2/13/2014 9:14 AM, Ondřej Kunčar wrote:

The problem is addressed in 6ea67a791108.

Regards, GB

**References**:**[isabelle] Want a type of non-negatives for a field, to work like nat/int***From:*Gottfried Barrow

**Re: [isabelle] Want a type of non-negatives for a field, to work like nat/int***From:*Gottfried Barrow

**Re: [isabelle] Want a type of non-negatives for a field, to work like nat/int***From:*Gottfried Barrow

**Re: [isabelle] Want a type of non-negatives for a field, to work like nat/int***From:*Gottfried Barrow

**Re: [isabelle] Want a type of non-negatives for a field, to work like nat/int***From:*Ondřej Kunčar

**Re: [isabelle] Want a type of non-negatives for a field, to work like nat/int***From:*Ondřej Kunčar

- Previous by Date: [isabelle] Simplifier internal proof failure
- Next by Date: Re: [isabelle] Simplifier internal proof failure
- Previous by Thread: Re: [isabelle] Want a type of non-negatives for a field, to work like nat/int
- Next by Thread: [isabelle] ctrl-clicking on things
- Cl-isabelle-users February 2014 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