The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
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
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.