They break HOL-Analysis, and it is not really clear from the history why and how to repair it.
The last working version is 56acd449da41. Any opinions on what would be the best way to continue from here? Strip the accidental changes from the repository? Back out the changes? Or do a no-op merge from a successor of the last working version? Fabian
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
