src/HOL/Import/HOL/ROOT.ML
author skalberg
Fri Apr 01 18:59:17 2005 +0200 (2005-04-01)
changeset 15647 b1f486a9c56b
parent 14694 49873d345a39
child 17644 bd59bfd4bf37
permissions -rw-r--r--
Updated import configuration.
skalberg@14620
     1
(*  Title:      HOL/Import/HOL/ROOT.ML
skalberg@14620
     2
    ID:         $Id$
skalberg@14620
     3
    Author:     Sebastian Skalberg (TU Muenchen)
skalberg@14620
     4
*)
skalberg@14620
     5
skalberg@14516
     6
setmp quick_and_dirty true use_thy "HOL4Prob";
skalberg@14516
     7
setmp quick_and_dirty true use_thy "HOL4";