Re: [isabelle] Porting the Isabelle/HOL to a newer version



If it is actually no code (no ML) but primarily proof, you might be
(somewhat more) lucky. I see that there are afp entries dating back to
2003 [1], probably looking at their evolution could help (but this is
just a guess, ...).

  Cornelius

[1] http://sourceforge.net/p/afp/afp-2003/ci/default/tree/thys/




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