[isabelle-dev] I will start to fix my broken entries in afp-devel now

[Peter Lammich]

So if anyone else currently working on that, please tell me

Best,
  Peter

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev