[isabelle-dev] HOL/Library/BigO.thy

Tobias Nipkow nipkow at in.tum.de
Tue Jan 10 13:14:07 CET 2023

If the author Jeremy agrees, sure, HOL/Library is getting rather large anyway.


On 10/01/2023 12:56, Lawrence Paulson wrote:
> This theory is ancient and looks it. It’s also totally unused and probably 
> obsolete. Shall we delete it?
> Larry
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5535 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20230110/e589caab/attachment.bin>

More information about the isabelle-dev mailing list