Hi,

for some reason, Lukas' entry Card_Equiv_Relations broke and remains
broken. Since I wasn't sure anyone was taking care of it, I pushed
4d10819509 to afp-testboard to rectify the issue. I'm writing this to
avoid duplicate work.

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

Reply via email to