+−(* Title: FOL/ROOT.ML +− ID: $Id$ +− +−First-Order Logic with Natural Deduction. +−*) +− +−use_thy "FOL";