[isabelle] Isabelle and Automatic Theorem Provers



Information on the Isabelle-ATP Linkup is available here:

    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/atp-linkup.html

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.