*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: [isabelle] Problem with isatool usedir -V*From*: Nicole Rauch <rauch at informatik.uni-kl.de>*Date*: Thu, 6 Oct 2005 09:15:45 +0200*In-reply-to*: <Pine.LNX.4.58.0509291735290.16817@atbroy10.informatik.tu-muenchen.de>*References*: <8585D309-4E7F-4200-9AAA-C8B243F7185B@informatik.uni-kl.de> <Pine.LNX.4.58.0509291735290.16817@atbroy10.informatik.tu-muenchen.de>

Hello,

I'm using the cmdline

Regards, Nicole -- "Never in the field of software development was so much owed by so

**Attachment:
PGP.sig**

- Previous by Date: Re: [isabelle] beginner question: why isn't my lemma applied?
- Next by Date: [isabelle] isabelle help
- Previous by Thread: [isabelle] Isabelle and Automatic Theorem Provers
- Next by Thread: [isabelle] isabelle help
- Cl-isabelle-users October 2005 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