Re: [isabelle] Calling external provers from Isabelle

On Fri, 1 Mar 2013, Lukas Bulwahn wrote:

The implementation is in Function value and dynamic_value_strict provide the compilation and the execution.

Here is the public release version of that file:

As a rule of thumb: changset id -> isabelle-dev, proper releases -> isabelle-users.


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