Re: [isabelle] Isabelle2016-1-RC0 AFP and small user experience



Hi,

> is there already a working version of the afp theory
> "Automatic_Refinement/Lib/Misc.thy" available?

AFP id 1e958cc1942e should work with Isabelle2016-1-RC0, including
"Misc.thy".

Personally I just created another clone of AFP devel on my hard disk and
updated it to 1e958cc1942e.

Cheers
Lars




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