Re: [isabelle] Isabelle-Oracle Interface



On Thu, 14 Dec 2006, Tuvshintur Tserendorj wrote:

> Could anybody tell me how i can use the oracle interface of isabelle?

See the following example:

http://isabelle.in.tum.de/dist/library/FOL/ex/IffOracle.html


	Makarius





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