src/HOL/main.ML
author ballarin
Fri Dec 19 16:39:23 2008 +0100 (2008-12-19)
changeset 29249 4dc278c8dc59
parent 29223 e09c53289830
child 29304 5c71a6da989d
permissions -rw-r--r--
All logics ported to new locales.
haftmann@28401
     1
(*  Title:      HOL/main.ML
haftmann@28401
     2
    ID:         $Id$
haftmann@28401
     3
 
haftmann@28401
     4
Classical Higher-order Logic -- only "Main".
haftmann@28401
     5
*)
haftmann@28401
     6
haftmann@28401
     7
use_thy "Main";