Test 0 is now available here: http://www4.in.tum.de/~wenzelm/test/isabelle The packages should be all there, but the website still needs further polishing. Makarius