Re: [isabelle] Scan reference

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

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