[isabelle-dev] Impossible_Geometry

[Lawrence Paulson]

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

Larry
-------------- 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>