On Sat, 17 Aug 2013, Christian Sternagel wrote:
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.)
The maintainers of the manuals are the respective main authors or editors, here it is Alex Krauss. You should make sure that he sees this change, e.g. via personal mail.
Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev