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
