src/HOL/main.ML
author haftmann
Mon Sep 29 12:31:58 2008 +0200 (2008-09-29)
changeset 28401 d5f39173444c
child 29223 e09c53289830
permissions -rw-r--r--
separate HOL-Main image
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";