[isabelle-dev] Impossible_Geometry

Johannes Hölzl hoelzl at in.tum.de
Tue Jan 12 16:13:09 CET 2016


Am Dienstag, den 12.01.2016, 13:48 +0000 schrieb 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


Ah, sorry I overlooked this. I will fix it.

 - Johannes



More information about the isabelle-dev mailing list