src/FOL/ROOT.ML

moved get_sort to Isar/proof_context.ML;
removed obsolete read_def_typ, read_typ, read_typ_syntax, read_typ_abbrev;

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

First-Order Logic with Natural Deduction.
*)

use_thy "FOL";