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



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