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, ...).



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