Done. On 08/01/2021 16:11, Makarius wrote: > On 08/01/2021 16:10, Manuel Eberl wrote: >> I have a small amount of material for HOL-Data_Structures and for >> Algebraic_numbers in the AFP. Will put that in in the next day or two. > > OK, just tell me when you are finished. > > > Makarius >
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
