src/FOL/ROOT.ML
author wenzelm
Fri, 06 May 2011 20:25:41 +0200
changeset 42712 574613b47583
parent 33615 261abc2e3155
permissions -rw-r--r--
no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;

(* First-Order Logic with Natural Deduction *)

use_thys ["FOL"];