src/HOL/ROOT.ML
author haftmann
Wed Dec 03 15:58:44 2008 +0100 (2008-12-03)
changeset 28952 15a4b2cf8c34
parent 28263 69eaa97e7e96
child 29005 ce378dcfddab
permissions -rw-r--r--
made repository layout more coherent with logical distribution structure; stripped some $Id$s
clasohm@1264
     1
(*  Title:      HOL/ROOT.ML
wenzelm@23166
     2
 
haftmann@27368
     3
Classical Higher-order Logic -- batteries included.
clasohm@923
     4
*)
clasohm@923
     5
haftmann@27421
     6
use_thy "Complex/Complex_Main";
wenzelm@28263
     7
wenzelm@28263
     8
val HOL_proofs = ! Proofterm.proofs;
wenzelm@28263
     9