[isabelle-dev] isabelle doc functions

Christian Sternagel c.sternagel at gmail.com
Sat Aug 17 07:49:30 CEST 2013


Dear all,

I propose to apply the following patch to the documentation of the 
function package. (I found two tiny typos which could have been 
prevented by using @{thm [source] ...} -- which might not have existed 
at the time of writing -- instead of @{text ...}, the patch (hopefully) 
replaces all such references to theorem-names accordingly.)

cheers

chris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fun.patch
Type: text/x-patch
Size: 4032 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20130817/a4e2efe7/attachment.bin>


More information about the isabelle-dev mailing list