src/FOL/ROOT.ML
author urbanc
Mon, 30 Jun 2008 14:06:44 +0200 (2008-06-30)
changeset 27399 1fb3d1219c12
parent 23161 cd928fd965a8
child 31974 e81979a703a4
permissions -rw-r--r--
added facts to lemma swap_simps and tuned lemma calc_atms
(*  Title:      FOL/ROOT.ML
    ID:         $Id$

First-Order Logic with Natural Deduction.
*)

use_thy "FOL";