[isabelle-dev] auto raises a TYPE exception

[Stefan Berghofer]

On 04/12/2013 02:18 PM, Makarius wrote:
> It looks like I need to discuss it further with Stefan Berghofer, because he made some reforms there in 2005 that now seem to crash on us.

Hi Markus,

thanks for the example. Please note that I am on holiday the following two weeks, so it'll
take some time until I can take a closer look at the problem.

Greetings,
Stefan