[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?

best

lyj




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