[isabelle] HOL-Nominal to Isabelle2008

I am just rebuilding Isabelle2009. Unpacking HOL-Nominal_x86-linux.tar.gz it built directory Isabelle2008 and puts the heaps in there! Is is safe to move the heaps to Isabelle2009 or is this an old set of heaps?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.