src/HOL/ROOT.ML
author haftmann
Thu Jun 26 10:07:01 2008 +0200 (2008-06-26)
changeset 27368 9f90ac19e32b
parent 25964 080f89d89990
child 27421 7e458bd56860
permissions -rw-r--r--
established Plain theory and image
clasohm@1264
     1
(*  Title:      HOL/ROOT.ML
clasohm@923
     2
    ID:         $Id$
wenzelm@23166
     3
 
haftmann@27368
     4
Classical Higher-order Logic -- batteries included.
clasohm@923
     5
*)
clasohm@923
     6
wenzelm@23166
     7
use_thy "Main";