proper loading of ML files;
removed obsolete IFOL.thy/FOL.thy values;
(* Title: FOL/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge*)val banner = "First-Order Logic with Natural Deduction";writeln banner;use_thy "FOL";