[isabelle-dev] [Spam] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Peter Lammich
lammich at in.tum.de
Wed Aug 16 17:04:37 CEST 2017
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170816/f6cc3383/attachment-0002.html>
More information about the isabelle-dev
mailing list