src/FOL/ROOT.ML

neq0_conv removed from [iff] -- causes problems by simple goals with blast, auto etc...

(*  Title:      FOL/ROOT.ML
    ID:         $Id$

First-Order Logic with Natural Deduction.
*)

use_thy "FOL";