[isabelle-dev] Repaired Card_Equiv_Relations

Lars Hupel hupel at in.tum.de
Thu May 26 14:42:02 CEST 2016


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


More information about the isabelle-dev mailing list