src/FOL/ROOT.ML
author wenzelm
Mon Mar 19 21:10:33 2012 +0100 (2012-03-19)
changeset 47022 8eac39af4ec0
parent 33615 261abc2e3155
permissions -rw-r--r--
moved some legacy stuff;
     1 (* First-Order Logic with Natural Deduction *)
     2 
     3 use_thys ["FOL"];