[isabelle] Isabelle In MAC

Dear Isabelle users:
   Recently, I install Isabelle in MACBOOK.
   It is ok.
  But I cannot find the Isabelle directly, I need run some proof script in
the source directory. who can help me?



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