src/FOL/ROOT.ML
author blanchet
Mon, 20 Sep 2010 17:12:52 +0200 (2010-09-20)
changeset 39562 be44a81ca5ab
parent 33615 261abc2e3155
permissions -rw-r--r--
merged
(* First-Order Logic with Natural Deduction *)

use_thys ["FOL"];