src/HOL/Main.thy
author haftmann
Tue Apr 22 08:33:10 2008 +0200 (2008-04-22)
changeset 26729 43a72d892594
parent 25964 080f89d89990
child 27367 a75d71c73362
permissions -rw-r--r--
dropped theory PreList
     1 (*  Title:      HOL/Main.thy
     2     ID:         $Id$
     3 *)
     4 
     5 header {* Main HOL *}
     6 
     7 theory Main
     8 imports Map
     9 begin
    10 
    11 ML {* val HOL_proofs = ! Proofterm.proofs *}
    12 
    13 ML {* path_add "~~/src/HOL/Library" *}
    14 
    15 end