| Mon, 30 Jul 2012 17:25:45 +0200 | wenzelm | multi-threaded HOL-Tutorial with explicit indication of local options; | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Thu, 30 Sep 2010 09:31:07 +0200 | haftmann | updated files to recent changes | file | diff | annotate |