this directory (isabelle/2005) contains files which work with Isabelle2005 or
earlier versions of Isabelle