Re: [isabelle] Scan reference
Hi Stefan, hi Andreas,
thank you for this link. the cook book seems really helpful, if not
even exactly what I needed.
i think there should be a link on the Isabelle website, even if it is
only a draft.
2010/8/12 Stefan Berghofer <berghofe at in.tum.de>:
> Nils Jähnig wrote:
>> is there a documentation/reference for this Scan?
>> my next question is, if there is a reference (or someone can explain
>> me) the SIMPLE_METHOD' construct.
> Hi Nils,
> I would recommend reading chapter 5 of the "Isabelle Cookbook"
> There is also an example theory explaining how to use parsers in connection
> with methods available at
> Dr. Stefan Berghofer E-Mail: berghofe at in.tum.de
> Institut fuer Informatik Phone: +49 89 289 17328
> Technische Universitaet Muenchen Fax: +49 89 289 17307
> Boltzmannstr. 3 Room: 01.11.059
> 85748 Garching, GERMANY http://www.in.tum.de/~berghofe
This archive was generated by a fusion of
Pipermail (Mailman edition) and