[isabelle] HOL-Nominal to Isabelle2008



Hi
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?

david





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