# Re: [isabelle] Partial Linear Arithmetic

*To*: cl-isabelle-users at lists.cam.ac.uk
*Subject*: Re: [isabelle] Partial Linear Arithmetic
*From*: Tjark Weber <webertj at in.tum.de>
*Date*: Sun, 01 Feb 2009 15:02:22 +0000
*Cc*: Jens Doll <jd at cococo.de>
*In-reply-to*: <OF11CE97C9.78D832B5-ONC125754F.002D7EC9-C125754F.002DE1DC@cococo.de>
*References*: <OF11CE97C9.78D832B5-ONC125754F.002D7EC9-C125754F.002DE1DC@cococo.de>

Jens,
On Sat, 2009-01-31 at 09:21 +0100, Jens Doll wrote:
> Maybe some day Columbo will output Isabelle theory files automatically ...
I'm not sure what you're aiming to do exactly, but you might find the
"Why" tool (http://why.lri.fr/) interesting, and also Norbert Schirmer's
Ph.D. thesis (http://www4.in.tum.de/~schirmer/pub/schirmer-phd.html).
Regards,
Tjark

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