Re: [isabelle] AFP entries with the new imports system



Le 01/10/2017 Ã 17:20, Lars Hupel a ÃcritÂ:

see
<https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2017-August/msg00053.html>
for the two choices you have.

Thanks, adding Ergodic_Theory to the ROOTS file works perfectly.

Sebastien





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