José Manuel Rodriguez Caballero
2018-09-13 08:57:12 UTC
I think that the mailing list has the following technical problem: when
someone copies a link to a webpage, the text from the top of the webpage is
automatically included in the email. This creates a confusion between the
email content and the texts from the link, e.g., my own confusion with the
following link (I though it was someone writing this message to me, but it
was just the text from the top of the linked website):
in Isabelle/HOL. Indeed in the Top 100 Theorems in Isabelle (
The Top 100 Theorems in Isabelle - Computer Science and ...<
http://www.cse.unsw.edu.au/~kleing/top100/>
www.cse.unsw.edu.au
The following are the theorems from this list proved so far in the Isabelle
proof assistant. If you have proved additional ones or know of any, please
send me email so I can add them here. If the theorem is not part of the
Isabelle distribution, the entry will usually contain a link to the ...
Such confusions may give rise to unexpected outcomes.
Kind Regards,
Jose M.
someone copies a link to a webpage, the text from the top of the webpage is
automatically included in the email. This creates a confusion between the
email content and the texts from the link, e.g., my own confusion with the
following link (I though it was someone writing this message to me, but it
was just the text from the top of the linked website):
in Isabelle/HOL. Indeed in the Top 100 Theorems in Isabelle (
http://www.cse.unsw.edu.au/~kleing/top100/) a more general version of
thisThe Top 100 Theorems in Isabelle - Computer Science and ...<
http://www.cse.unsw.edu.au/~kleing/top100/>
www.cse.unsw.edu.au
The following are the theorems from this list proved so far in the Isabelle
proof assistant. If you have proved additional ones or know of any, please
send me email so I can add them here. If the theorem is not part of the
Isabelle distribution, the entry will usually contain a link to the ...
Kind Regards,
Jose M.