[isabelle-dev] auto raises a TYPE exception

Stefan Berghofer berghofe at in.tum.de
Fri Apr 12 14:42:27 CEST 2013

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.


More information about the isabelle-dev mailing list