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


> I wonder to know if there is any way to port an old Isabelle/HOL code to a
> the newest version of Isabelle.
> The old code is dated from the year 2000

oh my dear, in which drawer has this been locked in all these years?

It is surely possible but will involve massive manual rephrasing.  For a
more detailled statement a glimpse at the sources would be helpful.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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