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'. Thanks, René [1] https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2013-November/msg00146.html _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
