Changes required by removal of the theory argument of Theorem
(* Title: FOL/ex/IffOracle ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of CambridgeExample of how to declare an oracle*)IffOracle = "declIffOracle" + FOL +oracle mk_iff_oracleend