[isabelle] Isabelle-Oracle Interface




i heard that Isabelle has a oracle interface for communicating with
extern programs. However, I could'nt find any examples in the internet.

Could anybody tell me how i can use the oracle interface of isabelle?
Where can i find any docus about that?

Thanks.

Cheers,
Tuvshintur





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