[isabelle-dev] Impossible_Geometry

Lawrence Paulson lp15 at cam.ac.uk
Tue Jan 12 14:48:39 CET 2016

This AFP entry no longer works. I think that the culprit is recent changes affecting the metric_space type class. See attachment.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20160112/0ce35697/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2016-01-12 at 13.45.21.png
Type: image/png
Size: 180103 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20160112/0ce35697/attachment-0001.png>

More information about the isabelle-dev mailing list