Sun, 06 May 2012 11:52:33 +0200 | wenzelm | prefer http://isabelle.in.tum.de/library alias, which is available at TUM only; | file | diff | annotate |
Wed, 28 Mar 2012 17:57:23 +0200 | nipkow | improved robustness with new antiquoation by Makarius | file | diff | annotate |