[isabelle] download all the entries for all the packages needed



Hi, Isabelle experts:
   I have downloaded the theory package shortest_path from AFP, but
when I run the proof
   script dijkstra.thy, it need the Refine_Monadic/Refine.thy, which
in turn need another
   theory package collection?

   Can anyone tell me how to download all the entries for all the
packages needed?

   best





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