# this is a default file DISTNAME=Isabelle2005 DISTIDENT=Isabelle2005 DISTBASE=/home/proj/isabelle/dist/dist-Isabelle2005