| Wed, 28 Sep 2005 14:16:34 +0200 | haftmann | adjusted www links | file | diff | annotate |
| Wed, 28 Sep 2005 11:50:14 +0200 | wenzelm | revert 'defs' advertisement; | file | diff | annotate |
| Tue, 27 Sep 2005 17:24:27 +0200 | wenzelm | more details about incomplete 'defs'; | file | diff | annotate |
| Wed, 21 Sep 2005 20:16:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 11:19:16 +0200 | wenzelm | updated for Isabelle2005; | file | diff | annotate |
| Mon, 19 Apr 2004 08:20:52 +0200 | kleing | add HOL4 | file | diff | annotate |
| Sat, 17 Apr 2004 14:57:50 +0200 | kleing | added sydney mirror | file | diff | annotate |