doc-src/Main/Docs/document/Main_Doc.tex
Sun, 06 May 2012 11:52:33 +0200 wenzelm prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;
Wed, 28 Mar 2012 17:57:23 +0200 nipkow improved robustness with new antiquoation by Makarius
less more (0) -10 -2 tip