src/HOL/ROOT.ML
author haftmann
Tue Jul 01 07:58:17 2008 +0200 (2008-07-01)
changeset 27421 7e458bd56860
parent 27368 9f90ac19e32b
child 28263 69eaa97e7e96
permissions -rw-r--r--
HOL += HOL-Complex
     1 (*  Title:      HOL/ROOT.ML
     2     ID:         $Id$
     3  
     4 Classical Higher-order Logic -- batteries included.
     5 *)
     6 
     7 use_thy "Complex/Complex_Main";