Is it intentional that the "Computational_Algebra" theory does not import "Polynomial_Factorial"? Manuel -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20170829/bb68a59a/attachment.html>