| 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 |
| Sun, 22 Apr 2012 22:01:45 +0200 | wenzelm | updated const "relcomp"; | file | diff | annotate |
| Wed, 28 Mar 2012 17:57:23 +0200 | nipkow | improved robustness with new antiquoation by Makarius | file | diff | annotate |