1
(* Title: FOL/ROOT.ML
2
ID: $Id$
3
4
First-Order Logic with Natural Deduction.
5
*)
6
7
use_thy "FOL";