[isabelle] Isabelle and Automatic Theorem Provers

Information on the Isabelle-ATP Linkup is available here:


It should be seen as a pre-pre-release. Feedback and bug reports are welcome, but please don't expect support. It will change rapidly in development snapshots.

Larry Paulson

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