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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
