[isabelle-dev] Isabelle2013-2 release

René Neumann rene.neumann at in.tum.de
Thu Nov 21 00:13:10 CET 2013

If there will already be a new release, would it perhaps be possible to
merge the fix (given there is a robust one) for this 'adhoc_overloading
raises TYPE' issue [1] ?

This error is quite puzzling. And it occurs even if one does not know
what the packages 'adhoc_overloading' and 'coercions' are about;
depending on theories using it (e.g. ICF) is sufficient.

This is just meant as a plain question. I fully understand that this
change might be seen as 'too large on this short notice'.



More information about the isabelle-dev mailing list