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



Hi,

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

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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