src/HOL/Main.thy
author wenzelm
Wed Sep 17 21:27:14 2008 +0200 (2008-09-17)
changeset 28263 69eaa97e7e96
parent 28228 7ebe8dc06cbb
child 29304 5c71a6da989d
permissions -rw-r--r--
moved global ML bindings to global place;
     1 (*  Title:      HOL/Main.thy
     2     ID:         $Id$
     3 *)
     4 
     5 header {* Main HOL *}
     6 
     7 theory Main
     8 imports Plain Code_Eval Map Nat_Int_Bij Recdef
     9 begin
    10 
    11 text {* See further \cite{Nipkow-et-al:2002:tutorial} *}
    12 
    13 end