Dear Larry, >> Great news! I hope to see a brief announcement paper illustrating some of >> the new things that can be done.
A (reminder) example of what you can define with the new package is your type of hereditarily finite sets. Best regards, Andrei
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
