> Does anyone rely on the more liberal form "... = P (case x of ...)" > accepted at the moment?
Yes, I do. Sorry :-) Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev